AuthorsM. Delahaye, B. Botella and A. Gotlieb
TitleInfeasible Path Generalization in Dynamic Symbolic Execution
AfilliationSoftware Engineering, The Certus Centre (SFI), Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeJournal Article
Year of Publication2015
JournalInformation and Software Technology
Volume58
Pagination403–418
Date Published02/2015
PublisherElsevier
Citation Key23399

Contact person