Automatic Test Input Generation for Mercury

François Degrave, Tom Schrijvers, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of LOPSTR 2008
Pages71-86
Number of pages16
Volume5438
Publication statusPublished - 2008

Publication series

NameProceedings of LOPSTR 2008

Cite this