- Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker. The first reactive synthesis competition (SYNTCOMP 2014). STTT, 19(3):367-390, 2017.
- Adriana Carla Damasceno, Patrícia D. L. Machado, Wilkerson de L. Andrade. Testing real-time systems from compositional symbolic specifications. STTT, 19(1):53-71, 2017.
- Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran. Require, test, and trace IT. STTT, 19(4):409-426, 2017.
- Martijn Hendriks, Jacques Verriet, Twan Basten, Bart D. Theelen, Marco Brassé, Lou J. Somers. Analyzing execution traces: critical-path analysis and distance analysis. STTT, 19(4):487-510, 2017.
- Amel Mammar, Régine Laleau. Modeling a landing gear system in Event-B. STTT, 19(2):167-186, 2017.
- Yliès Falcone, Mohamad Jaber. Fully automated runtime enforcement of component-based systems with formal and sound recovery. STTT, 19(3):341-365, 2017.
- Ciprian Teodorov, Philippe Dhaussy, Luka Leroux. Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. STTT, 19(2):229-245, 2017.
- Bogdan Aman, Gabriel Ciobanu. Verification of critical systems described in real-time TiMo. STTT, 19(4):395-408, 2017.
- Steffen Herbold, Andreas Hoffmann. Model-based testing as a service. STTT, 19(3):271-279, 2017.
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Improving the numerical accuracy of programs by automatic transformation. STTT, 19(4):427-448, 2017.