- 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.
- 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.
- Alessandro Cimatti, Laura Titolo. Formal methods in industrial critical systems. STTT, 27(3):309-311, June 2025.
- Daniel Busch, Alexander Bainczyk, Steven Smyth, Bernhard Steffen. LLM-based code generation and system migration in language-driven engineering. STTT, 27(1):137-147, February 2025.
- Giovanna Kobus Conrado, Andreas Pavlogiannis. CFL-based methods for approximating interleaved Dyck reachability. STTT, 27(2):255-266, April 2025.