Maxim Petrov, Kirill Gagarski, Mikhail A. Belyaev, Vladimir M. Itsykson. Using a bounded model checker for test generation: How to kill two birds with one SMT solver. Automatic Control and Computer Sciences, 49(7):466-472, 2015. [doi]
@article{PetrovGBI15,
title = {Using a bounded model checker for test generation: How to kill two birds with one SMT solver},
author = {Maxim Petrov and Kirill Gagarski and Mikhail A. Belyaev and Vladimir M. Itsykson},
year = {2015},
doi = {10.3103/S0146411615070172},
url = {http://dx.doi.org/10.3103/S0146411615070172},
researchr = {https://researchr.org/publication/PetrovGBI15},
cites = {0},
citedby = {0},
journal = {Automatic Control and Computer Sciences},
volume = {49},
number = {7},
pages = {466-472},
}