Fuxiang Chen, Aldy Gunawan, David Lo 0001, Sunghun Kim 0001
InSPeCT: Iterated Local Search for Solving Path Conditions
CASE, 2019.
@inproceedings{CASE-2019-ChenGL0, author = "Fuxiang Chen and Aldy Gunawan and David Lo 0001 and Sunghun Kim 0001", booktitle = "{Proceedings of the 15th International Conference on Automation Science and Engineering}", doi = "10.1109/COASE.2019.8843039", isbn = "978-1-7281-0356-3", pages = "1724--1729", publisher = "{IEEE}", title = "{InSPeCT: Iterated Local Search for Solving Path Conditions}", year = 2019, }