1 × Italy
1 × Russia
symbol (3) program (2) execut (2) input (2) heap (2) constrain (1) executor (1) complex (1) rewrit (1) enhanc (1)
Person: Pietro Braione
Wrote 3 papers:
- ESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation
- Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
- ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting
- Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.
- FSE-2016-BraioneDP #java #named #source code
- JBSE: a symbolic executor for Java programs with complex heap inputs (PB, GD, MP), pp. 1018–1022.