Yunho Kim, Yunja Choi, Moonzoo Kim. Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 315-326, ACM, 2018. [doi]
Abstract is missing.