Cited By
View all- Hentschel MBubel RHähnle R(2018)The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and moreInternational Journal on Software Tools for Technology Transfer10.1007/s10009-018-0490-9Online publication date: 3-Mar-2018