- John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter. Automated property-based testing from AADL component contracts. STTT, 27(3):333-360, June 2025.
- Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan. Lightweight and modular resource leak checking (extended version). STTT, 27(2):267-288, April 2025.
- Edin Jelacic, Cristina Seceleanu, Ning Xiong 0001, Peter Backeman, Sharifeh Yaghoobi, Tiberiu Seceleanu. Machine learning-based cache miss prediction. STTT, 27(1):53-80, February 2025.
- Maya R. A. Setyautami, Reiner Hähnle, Ade Azurat, Eko K. Budiardjo. End-to-end development of product lines for web systems. STTT, 27(2):201-219, April 2025.
- Raphaël Monat, Cindy Rubio-González. State of the art in program analysis. STTT, 27(2):221-223, April 2025.
- Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz 0007, Helmut Seidl. Context Gas and friends: taming context-sensitivity on the fly. STTT, 27(2):289-307, April 2025.
- Anne E. Haxthausen, Wendelin Serwe. Formal methods for industrial critical systems. STTT, 27(5):439-441, October 2025.
- Bruno Steffen, Leonard Sondermann, Lukas Schütz. Evolution of the continuous integration of neural networks in autonomous systems. STTT, 27(1):103-115, February 2025.
- Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini. DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations. STTT, 27(5):443-464, October 2025.
- Alessandro Cimatti, Laura Titolo. Formal methods in industrial critical systems. STTT, 27(3):309-311, June 2025.