Yunho Kim, Shin Hong, Moonzoo Kim. Target-driven compositional concolic testing with function summary refinement for effective bug detection. In Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo, editors, Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. pages 16-26, ACM, 2019. [doi]
@inproceedings{KimHK19-1,
title = {Target-driven compositional concolic testing with function summary refinement for effective bug detection},
author = {Yunho Kim and Shin Hong and Moonzoo Kim},
year = {2019},
doi = {10.1145/3338906.3338934},
url = {https://doi.org/10.1145/3338906.3338934},
researchr = {https://researchr.org/publication/KimHK19-1},
cites = {0},
citedby = {0},
pages = {16-26},
booktitle = {Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019},
editor = {Marlon Dumas and Dietmar Pfahl and Sven Apel and Alessandra Russo},
publisher = {ACM},
isbn = {978-1-4503-5572-8},
}