Xiaoke Qin, Prabhat Mishra. Scalable Test Generation by Interleaving Concrete and Symbolic Execution. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 104-109, IEEE, 2014. [doi]
@inproceedings{QinM14,
title = {Scalable Test Generation by Interleaving Concrete and Symbolic Execution},
author = {Xiaoke Qin and Prabhat Mishra},
year = {2014},
doi = {10.1109/VLSID.2014.25},
url = {http://dx.doi.org/10.1109/VLSID.2014.25},
researchr = {https://researchr.org/publication/QinM14},
cites = {0},
citedby = {0},
pages = {104-109},
booktitle = {2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014},
publisher = {IEEE},
}