%0 Conference Paper %1 conf/case/ChenGL019 %A Chen, Fuxiang %A Gunawan, Aldy %A Lo, David %A Kim, Sunghun %B CASE %D 2019 %I IEEE %K dblp %P 1724-1729 %T InSPeCT: Iterated Local Search for Solving Path Conditions. %U http://dblp.uni-trier.de/db/conf/case/case2019.html#ChenGL019 %@ 978-1-7281-0356-3

@inproceedings{conf/case/ChenGL019, added-at = {2019-09-26T00:00:00.000+0200}, author = {Chen, Fuxiang and Gunawan, Aldy and Lo, David and Kim, Sunghun}, biburl = {https://www.bibsonomy.org/bibtex/2de6058340cdba23825eebe4b413fd57f/dblp}, booktitle = {CASE}, crossref = {conf/case/2019}, ee = {https://doi.org/10.1109/COASE.2019.8843039}, interhash = {3eae791900511002b0ee6a25df28c989}, intrahash = {de6058340cdba23825eebe4b413fd57f}, isbn = {978-1-7281-0356-3}, keywords = {dblp}, pages = {1724-1729}, publisher = {IEEE}, timestamp = {2019-10-17T21:17:52.000+0200}, title = {InSPeCT: Iterated Local Search for Solving Path Conditions.}, url = {http://dblp.uni-trier.de/db/conf/case/case2019.html#ChenGL019}, year = 2019 }