Bolong Zeng, Li Tan. Test criteria for model-checking-assisted test case generation: A computational study. In Chengcui Zhang, James Joshi, Elisa Bertino, Bhavani M. Thuraisingham, editors, IEEE 13th International Conference on Information Reuse & Integration, IRI 2012, Las Vegas, NV, USA, August 8-10, 2012. pages 600-607, IEEE, 2012. [doi]
@inproceedings{ZengT12,
title = {Test criteria for model-checking-assisted test case generation: A computational study},
author = {Bolong Zeng and Li Tan},
year = {2012},
doi = {10.1109/IRI.2012.6303064},
url = {http://dx.doi.org/10.1109/IRI.2012.6303064},
researchr = {https://researchr.org/publication/ZengT12},
cites = {0},
citedby = {0},
pages = {600-607},
booktitle = {IEEE 13th International Conference on Information Reuse & Integration, IRI 2012, Las Vegas, NV, USA, August 8-10, 2012},
editor = {Chengcui Zhang and James Joshi and Elisa Bertino and Bhavani M. Thuraisingham},
publisher = {IEEE},
isbn = {978-1-4673-2282-9},
}