- Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller. JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. Formal Asp. Comput., 36(1), March 2024.
- Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim. Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. Formal Asp. Comput., 36(1), March 2024.
- Bernhard K. Aichernig, Martin Tappler, Felix Wallner. Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Formal Asp. Comput., 36(1), March 2024.
- Lokanna Kadakolmath, Umesh D. Ramu. iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. Formal Asp. Comput., 36(1), March 2024.
- Bertrand Meyer 0001, Alisa Arkadova, Alexander Kogtenkov. The Concept of Class Invariant in Object-oriented Programming. Formal Asp. Comput., 36(1), March 2024.
- Matteo Pradella. Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. Formal Asp. Comput., 36(1), March 2024.
- Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles. Sound Runtime Assertion Checking for Memory Properties via Program Transformation. Formal Asp. Comput., 36(1), March 2024.
- Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001. Compositional Reasoning for Non-multicopy Atomic Architectures. Formal Asp. Comput., 35(2), June 2023.
- Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol. Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Asp. Comput., 35(2), June 2023.
- Bartosz Zielinski 0002. Explanatory Denotational Semantics for Complex Event Patterns. Formal Asp. Comput., 35(4), December 2023.