Parallel symbolic execution for automated real-world software testing

Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. Parallel symbolic execution for automated real-world software testing. In Christoph M. Kirsch, Gernot Heiser, editors, European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, alzburg, Austria - April 10-13, 2011. pages 183-198, ACM, 2011. [doi]

@inproceedings{BucurUZC11,
  title = {Parallel symbolic execution for automated real-world software testing},
  author = {Stefan Bucur and Vlad Ureche and Cristian Zamfir and George Candea},
  year = {2011},
  doi = {10.1145/1966445.1966463},
  url = {http://doi.acm.org/10.1145/1966445.1966463},
  tags = {testing},
  researchr = {https://researchr.org/publication/BucurUZC11},
  cites = {0},
  citedby = {0},
  pages = {183-198},
  booktitle = {European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, alzburg, Austria - April 10-13, 2011},
  editor = {Christoph M. Kirsch and Gernot Heiser},
  publisher = {ACM},
  isbn = {978-1-4503-0634-8},
}