… symbolic execution engine can be integrated. It is shipped with an integration of [2] as its
underlying symbolic execution … different use cases of SED (with as symbolic execution engine). …

… The symbolic execution debugger (sed): a platform for interactive symbolic execution,
debugging, veri cation and more. International Journal on Software Tools for Technology Transfer, …

… Our main contributions are the SED platform, interactive symbolic execution of Java and …
The SED supports traditional debugger functionality like step-wise execution or breakpoints, …

… use case for debuggers based on symbolic execution: the … The IVD tool is implemented
on top of the SED and tightly … that the SED is a platform for debuggers based on symbolic …

… -up SED (Symbolic Execution Debugger) [23] aim at supporting users in debugging sessions
… Both tools build on the observation that a symbolic exploration can start from an arbitrary …

… of this approach to symbolic execution can be enhanced by (1… introduced generalization
of deltadebugging, and our … on sed program during seeded symbolic execution with unre…

… 2017 program verification challenges using the symbolic execution tool CIVL. Comparing
these … a user to incorporate loop invariants incrementally into a symbolic execution framework. …

… Consequently, we investigate approaches to parallel symbolic execution requiring little or
… the symbolic execution tree, allowing us to effectively distribute symbolic execution and …

… a symbolic execution system that scales well with larger programs and is capable of performing
symbolic execution … During the testing, by accident, we did leave a debug printf statement …

… for the symbolic execution engine Silicon [35]… symbolic execution debugger SED the
reachable program states of the input program. SED uses KeY [7] as underlying symbolic execution …