The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more Martin HentschelRichard BubelReiner Hähnle Regular Paper 03 March 2018 Pages: 485 - 513
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking Martin BeckerRavindra MettaSamarjit Chakraborty Regular Paper 11 June 2018 Pages: 515 - 543
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction Vladimir HerdtHoang M. LeRolf Drechsler Regular Paper 02 February 2019 Pages: 545 - 565
Symmetry reduction in CSP model checking Thomas Gibson-RobinsonGavin Lowe Regular Paper Open access 01 April 2019 Pages: 567 - 605