Software model synthesis using satisfiability solvers

MJH Heule, SE Verwer

Research output: Contribution to journal › Article › Scientific › peer-review

39 Citations (Scopus)

Original language	English
Pages (from-to)	825-856
Number of pages	32
Journal	Empirical Software Engineering
Volume	18
Issue number	4
DOIs	https://doi.org/10.1007/s10664-012-9222-z
Publication status	Published - 2013

Harvest

Access to Document

@article{9fcc5f2f1d644b23b1e3f728d6772179,

title = "Software model synthesis using satisfiability solvers",

author = "MJH Heule and SE Verwer",

note = "Harvest",

year = "2013",

doi = "10.1007/s10664-012-9222-z",

language = "English",

volume = "18",

pages = "825--856",

journal = "Empirical Software Engineering",

issn = "1382-3256",

publisher = "Springer",

number = "4",

}