%0 Conference Paper %1 conf/icse/MajumdarS07 %A Majumdar, Rupak %A Sen, Koushik %B ICSE %D 2007 %I IEEE Computer Society %K dblp %P 416-426 %T Hybrid Concolic Testing. %U http://dblp.uni-trier.de/db/conf/icse/icse2007.html#MajumdarS07 %@ 0-7695-2828-7

@inproceedings{conf/icse/MajumdarS07, added-at = {2015-08-07T00:00:00.000+0200}, author = {Majumdar, Rupak and Sen, Koushik}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bf11f10c9e261147e49e6b5987de1fa5/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2007}, ee = {http://dl.acm.org/citation.cfm?id=1248874}, interhash = {1f7d7320d93928169dd2e306aaa4e26a}, intrahash = {bf11f10c9e261147e49e6b5987de1fa5}, isbn = {0-7695-2828-7}, keywords = {dblp}, pages = {416-426}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:22:07.000+0100}, title = {Hybrid Concolic Testing.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2007.html#MajumdarS07}, year = 2007 }