%0 Conference Paper %1 conf/tap/JamrozikFTH13 %A Jamrozik, Konrad %A Fraser, Gordon %A Tillmann, Nikolai %A de Halleux, Jonathan %B TAP@STAF %D 2013 %E Veanes, Margus %E Viganò, Luca %I Springer %K %P 152-167 %T Generating Test Suites with Augmented Dynamic Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/tap/tap2013.html#JamrozikFTH13 %V 7942 %@ 978-3-642-38915-3

@inproceedings{conf/tap/JamrozikFTH13, added-at = {2023-12-12T23:23:37.000+0100}, author = {Jamrozik, Konrad and Fraser, Gordon and Tillmann, Nikolai and de Halleux, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/233b566b6427ecf6481612d82c5e8b04c/admin}, booktitle = {TAP@STAF}, crossref = {conf/tap/2013}, editor = {Veanes, Margus and Viganò, Luca}, ee = {https://doi.org/10.1007/978-3-642-38916-0_9}, interhash = {556239f0811546d77ab57711e4fc79aa}, intrahash = {33b566b6427ecf6481612d82c5e8b04c}, isbn = {978-3-642-38915-3}, keywords = {}, pages = {152-167}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:23:37.000+0100}, title = {Generating Test Suites with Augmented Dynamic Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2013.html#JamrozikFTH13}, volume = 7942, year = 2013 }