ITEM METADATA RECORD
Title: New Techniques for Symbolic Execution and State Coverage (Nieuwe technieken voor symbolische uitvoering en toestandsbedekking)
Other Titles: New Techniques for Symbolic Execution and State Coverage
Authors: Vanoverberghe, Dries
Issue Date: 24-May-2011
Publication status: published
KU Leuven publication type: TH
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
phd.pdf Published 1006KbAdobe PDFView/Open Request a copy

These files are only available to some KU Leuven Association staff members

 




All items in Lirias are protected by copyright, with all rights reserved.