Symbolic execution for software testing in practice: preliminary assessment

By Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser. International Conference on Software Engineering, 2011

377 citations recorded by the source corpus.

Subfields: Software, Signal Processing

View Paper: https://www.semanticscholar.org/paper/409aff4d69fd273874d1b33b31a1e035f6a4b9ac

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Software

1. Cristian Cadar
2. Koushik Sen
3. Patrice Godefroid
4. Gordon Fraser
5. Nikolai Tillmann
6. Mark Harman
7. Corina S. Pasareanu
8. Andrea Arcuri

In Signal Processing

1. Cristian Cadar
2. Koushik Sen
3. Patrice Godefroid
4. Andrea Arcuri
5. Gordon Fraser

Citations in the corpus

• Symbolic execution for software testing: three decades later (2013, methodology): “For a detailed overview of symbolic execution techniques, we refer the reader to previously published surveys in the area, such as [11, 19, 32, 34].”