- Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone. From high-level modeling toward efficient and trustworthy circuits. STTT, 21(2):143-163, 2019.
- Daniel Ratiu, Andreas Ulrich. An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners. STTT, 21(3):267-286, 2019.
- Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid. EdSketch: execution-driven sketching for Java. STTT, 21(3):249-265, 2019.
- Hakan Erdogmus, Klaus Havelund. Introduction to Selected Papers from SPIN 2017. STTT, 21(3):247-248, 2019.
- Philipp Zech, Michael Felderer, Ruth Breu. Knowledge-based security testing of web applications by logic programming. STTT, 21(2):221-246, 2019.
- Chunyan Fu, Kougen Zheng. Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B. STTT, 21(2):165-181, 2019.
- Dirk Beyer 0001, Stefan Löwe, Philipp Wendler. Reliable benchmarking: requirements and solutions. STTT, 21(1):1-29, 2019.
- Michalis Kokologiannakis, Konstantinos Sagonas. Stateless model checking of the Linux kernel's read-copy update (RCU). STTT, 21(3):287-306, 2019.
- Stanislav Dashevskyi, Daniel Ricardo Dos Santos, Fabio Massacci, Antonino Sabetta. TestREx: a framework for repeatable exploits. STTT, 21(1):105-119, 2019.
- John Fearnley, Sanjay Jain 0001, Bart de Keijzer, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak. An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. STTT, 21(3):325-349, 2019.