%0 Conference Paper %1 conf/eurosys/BucurUZC11 %A Bucur, Stefan %A Ureche, Vlad %A Zamfir, Cristian %A Candea, George %B EuroSys %D 2011 %E Kirsch, Christoph M. %E Heiser, Gernot %I ACM %K dblp %P 183-198 %T Parallel symbolic execution for automated real-world software testing. %U http://dblp.uni-trier.de/db/conf/eurosys/eurosys2011.html#BucurUZC11 %@ 978-1-4503-0634-8

@inproceedings{conf/eurosys/BucurUZC11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bucur, Stefan and Ureche, Vlad and Zamfir, Cristian and Candea, George}, biburl = {https://www.bibsonomy.org/bibtex/2ddea7a5284bc28036c5f11cbe0fcc00e/dblp}, booktitle = {EuroSys}, crossref = {conf/eurosys/2011}, editor = {Kirsch, Christoph M. and Heiser, Gernot}, ee = {https://doi.org/10.1145/1966445.1966463}, interhash = {2c55bf2b8f07ce3942fb4787b1d4a112}, intrahash = {ddea7a5284bc28036c5f11cbe0fcc00e}, isbn = {978-1-4503-0634-8}, keywords = {dblp}, pages = {183-198}, publisher = {ACM}, timestamp = {2018-11-07T14:16:05.000+0100}, title = {Parallel symbolic execution for automated real-world software testing.}, url = {http://dblp.uni-trier.de/db/conf/eurosys/eurosys2011.html#BucurUZC11}, year = 2011 }