Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho. Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test., Verif. Reliab., 27(3), 2017. [doi]
@article{MonteiroGCF17,
title = {Bounded model checking of {C++} programs based on the {Qt} cross-platform framework},
author = {Felipe R. Monteiro and Mário Garcia and Lucas C. Cordeiro and Eddie Batista de Lima Filho},
year = {2017},
doi = {10.1002/stvr.1632},
url = {http://dx.doi.org/10.1002/stvr.1632},
researchr = {https://researchr.org/publication/MonteiroGCF17},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {27},
number = {3},
}