Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara. Test Case Selection Based on Path Condtions of Symbolic Execution. In Karl R. P. H. Leung, Pornsiri Muenchaisri, editors, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. pages 318-321, IEEE, 2012. [doi]
@inproceedings{MunakataFTU12,
title = {Test Case Selection Based on Path Condtions of Symbolic Execution},
author = {Kazuki Munakata and Shoichiro Fujiwara and Susumu Tokumoto and Tadahiro Uehara},
year = {2012},
doi = {10.1109/APSEC.2012.107},
url = {http://dx.doi.org/10.1109/APSEC.2012.107},
researchr = {https://researchr.org/publication/MunakataFTU12},
cites = {0},
citedby = {0},
pages = {318-321},
booktitle = {19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012},
editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri},
publisher = {IEEE},
isbn = {978-0-7695-4922-4},
}