- 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.
- Max A. Little, Xi He, Ugur Kayas. Polymorphic dynamic programming by algebraic shortcut fusion. Formal Asp. Comput., 36(2):11, June 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.
- Raymond T. Boute. The Universality of Functions in the Sciences at Large and in Computing. Formal Asp. Comput., 36(2):10, June 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.
- Manfred Broy. A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems. Formal Asp. Comput., 36(3), September 2024.
- Devleena Ghosh, Chittaranjan Mandal 0002. SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics. Formal Asp. Comput., 36(3), September 2024.
- Bertrand Meyer 0001, Alisa Arkadova, Alexander Kogtenkov. The Concept of Class Invariant in Object-oriented Programming. Formal Asp. Comput., 36(1), March 2024.
- Yinling Liu, Jean-Michel Bruel. Modeling and Verification of Natural Language Requirements based on States and Modes. Formal Asp. Comput., 36(2):9, June 2024.