Debugging and Visualization
This chapter presents the usage and different use cases of the Symbolic Execution Debugger (SED), an interactive debugger based on symbolic execution. In addition, the extendable architecture of the SED and the underlying symbolic execution engine based on KeY are discussed.
KeywordsExecution Path Path Condition Proof Obligation Symbolic Execution Loop Body
Unable to display preview. Download preview PDF.