1. The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more

   • Martin Hentschel
   • Richard Bubel
   • Reiner Hähnle

   Regular Paper 03 March 2018 Pages: 485 - 513

   

2. Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking

   • Martin Becker
   • Ravindra Metta
   • Samarjit Chakraborty

   Regular Paper 11 June 2018 Pages: 515 - 543

   

3. Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction

   • Vladimir Herdt
   • Hoang M. Le
   • Rolf Drechsler

   Regular Paper 02 February 2019 Pages: 545 - 565

   

4. Symmetry reduction in CSP model checking

   • Thomas Gibson-Robinson
   • Gavin Lowe

   Regular Paper Open access 01 April 2019 Pages: 567 - 605