S2E: a platform for in-vivo multi-path analysis of software systems

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea. S2E: a platform for in-vivo multi-path analysis of software systems. In Rajiv Gupta, Todd C. Mowry, editors, Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011. pages 265-278, ACM, 2011. [doi]

@inproceedings{ChipounovKC11,
  title = {S2E: a platform for in-vivo multi-path analysis of software systems},
  author = {Vitaly Chipounov and Volodymyr Kuznetsov and George Candea},
  year = {2011},
  doi = {10.1145/1950365.1950396},
  url = {http://doi.acm.org/10.1145/1950365.1950396},
  tags = {analysis},
  researchr = {https://researchr.org/publication/ChipounovKC11},
  cites = {0},
  citedby = {0},
  pages = {265-278},
  booktitle = {Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011},
  editor = {Rajiv Gupta and Todd C. Mowry},
  publisher = {ACM},
  isbn = {978-1-4503-0266-1},
}