FSE 2016 All Events

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

Desktop Layout

Tool Demonstrations
Foyer 3rd/4th Floor
JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs
Pietro Braione, Giovanni Denaro, and Mauro Pezzè
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Publisher's Version
Abstract: We present the Java Bytecode Symbolic Executor (ensuremath{{tt JBSE}}), a symbolic executor for Java programs that operates on complex heap inputs. ensuremath{{tt JBSE}} implements both the novel Heap EXploration Logic (HEX), a symbolic execution approach to deal with heap inputs, and the main state-of-the-art approaches that handle data structure constraints expressed as either executable programs (ensuremath{{tt repOk}} methods) or declarative specifications. ensuremath{{tt JBSE}} is the first symbolic executor specifically designed to deal with programs that operate on complex heap inputs, to experiment with the main state-of-the-art approaches, and to combine different decision procedures to explore possible synergies among approaches for handling symbolic data structures.

Authors:


Time stamp: 2019-03-26T17:09:21+01:00