Differential symbolic execution

By Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu. 2008

300 citations recorded by the source corpus.

Subfields: Information Systems, Software

How researchers see this paper

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

In Information Systems

1. Daniel Kifer
2. Danfeng Zhang
3. Stephen Chong

In Software

1. Marco Gaboardi
2. Gian Pietro Farina
3. Stephen Chong

Citations in the corpus

• Detecting Violations of Differential Privacy (2018, background): “More relevant to this paper is work on testing relational properties based on symbolic execution [22, 30, 33].”
• Relational Symbolic Execution (2017, methodology): “In [Person et al. 2008] symbolic execution is used to check differences between program versions.”