Symbolic execution for software testing in practice-Reference-Cited by-同舟云学术

Symbolic execution for software testing in practice

Published:2011-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd International Conference on Software Engineering
language:
Short-container-title:

Author:

Cadar Cristian¹,Godefroid Patrice²,Khurshid Sarfraz³,Păsăreanu Corina S.⁴,Sen Koushik⁵,Tillmann Nikolai²,Visser Willem⁶

Affiliation:

1. Imperial College London, London, United Kingdom

2. Microsoft Research, Redmond, WA, USA

3. University of Texas at Austin, Austin, TX, USA

4. Carnegie Melon University & NASA Ames, Pittsburgh, PA, USA

5. University of California at Berkeley, Berkeley, CA, USA

6. Stellenbosch University, Matieland, South Africa

Publisher

ACM

Link

Reference63 articles.

Cited by 177 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

4. Precise Data-Driven Approximation for Program Analysis via Fuzzing;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11