%0 Journal Article %1 journals/accs/PetrovGBI15 %A Petrov, Maxim %A Gagarski, Kirill %A Belyaev, Mikhail A. %A Itsykson, Vladimir M. %D 2015 %J Automatic Control and Computer Sciences %K dblp %N 7 %P 466-472 %T Using a bounded model checker for test generation: How to kill two birds with one SMT solver. %U http://dblp.uni-trier.de/db/journals/accs/accs49.html#PetrovGBI15 %V 49

@article{journals/accs/PetrovGBI15, added-at = {2016-01-28T00:00:00.000+0100}, author = {Petrov, Maxim and Gagarski, Kirill and Belyaev, Mikhail A. and Itsykson, Vladimir M.}, biburl = {https://www.bibsonomy.org/bibtex/21ab57e15668bb3d4f489c3a5393d6cd3/dblp}, ee = {http://dx.doi.org/10.3103/S0146411615070172}, interhash = {5098896207fa9d9d764a10a72aaf34dd}, intrahash = {1ab57e15668bb3d4f489c3a5393d6cd3}, journal = {Automatic Control and Computer Sciences}, keywords = {dblp}, number = 7, pages = {466-472}, timestamp = {2016-01-29T11:35:55.000+0100}, title = {Using a bounded model checker for test generation: How to kill two birds with one SMT solver.}, url = {http://dblp.uni-trier.de/db/journals/accs/accs49.html#PetrovGBI15}, volume = 49, year = 2015 }