%0 Conference Paper %1 Cadar+Engler/2005/Execution %A Cadar, Cristian %A Engler, Dawson R. %B SPIN %D 2005 %I Springer %K imported %P 2-23 %T Execution Generated Test Cases: How to Make Systems Code Crash Itself. %V 3639

@inproceedings{Cadar+Engler/2005/Execution, added-at = {2009-05-20T01:29:36.000+0200}, author = {Cadar, Cristian and Engler, Dawson R.}, biburl = {https://www.bibsonomy.org/bibtex/2af0960a013f0dc39b3d41dc5df039482/sriram0339}, booktitle = {SPIN}, description = {First cut database}, interhash = {acf84754c2cbf07875affaff3c322a38}, intrahash = {af0960a013f0dc39b3d41dc5df039482}, keywords = {imported}, pages = {2-23}, publisher = {Springer}, series = {LNCS}, timestamp = {2009-05-20T01:29:37.000+0200}, title = {Execution {G}enerated {T}est {C}ases: How to Make Systems Code Crash Itself.}, volume = 3639, year = 2005 }