%0 Conference Paper %1 conf/vmcai/DacaGH16 %A Daca, Przemyslaw %A Gupta, Ashutosh %A Henzinger, Thomas A. %B VMCAI %D 2016 %E Jobstmann, Barbara %E Leino, K. Rustan M. %I Springer %K dblp %P 328-347 %T Abstraction-driven Concolic Testing. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2016.html#DacaGH16 %V 9583 %@ 978-3-662-49121-8

@inproceedings{conf/vmcai/DacaGH16, added-at = {2019-08-26T00:00:00.000+0200}, author = {Daca, Przemyslaw and Gupta, Ashutosh and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/28aafa219f9b1c567ce27e9628a30bfe2/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2016}, editor = {Jobstmann, Barbara and Leino, K. Rustan M.}, ee = {https://doi.org/10.1007/978-3-662-49122-5_16}, interhash = {980a6dfa628b3a2436f3f8c52ea906b9}, intrahash = {8aafa219f9b1c567ce27e9628a30bfe2}, isbn = {978-3-662-49121-8}, keywords = {dblp}, pages = {328-347}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-27T11:38:59.000+0200}, title = {Abstraction-driven Concolic Testing.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2016.html#DacaGH16}, volume = 9583, year = 2016 }