Software model synthesis using satisfiability solvers

TitleSoftware model synthesis using satisfiability solvers
Publication TypeJournal Article
Year of Publication2013
AuthorsHeule, MJH, Verwer, SE
JournalEmpirical Software Engineering
Volume18
Pagination825–856