Using a bounded model checker for test generation: How to kill two birds with one SMT solver
Crossref DOI link: https://doi.org/10.3103/S0146411615070172
Published Online: 2016-01-28
Published Print: 2015-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Petrov, M.
Gagarski, K.
Belyaev, M.
Itsykson, V.
Text and Data Mining valid from 2015-12-01