[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Precise concolic unit testing of C programs using extended units and symbolic alarm filtering
Kim, Yunho, Choi, Yunja, Kim, MoonzooYear:
2018
Language:
english
DOI:
10.1145/3180155.3180253
File:
PDF, 412 KB
english, 2018