Symbolic PathFinder: symbolic execution of Java bytecode

By Corina S. Pasareanu, Neha Rungta. International Conference on Automated Software Engineering, 2010

311 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/c491319e5caab5723df58b134ad319bf18a351c1

How researchers see this paper

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

In Computational Theory and Mathematics

1. Daniele Cono D'Elia
2. Irene Finocchi
3. Roberto Baldoni
4. Camil Demetrescu
5. Emilio Coppa

In Software

1. Daniele Cono D'Elia
2. Irene Finocchi
3. Roberto Baldoni
4. Camil Demetrescu
5. Emilio Coppa

Citations in the corpus

• A Survey of Symbolic Execution Techniques (2016, methodology): “r instance, the STP [49] solver has been employed in, e.g., EXE [21], KLEE [20], and AEG [8], which all leverage its support for bit-vector and array theories. Other executors such as Java PathFinder [77] have complemented SMT solving with additional decision procedures (e.g., libraries for constrai”