Formal Aspects Comput.

Keyphrases

Publications

volume 36, number 1, 2024

Bernhard K. Aichernig, Martin Tappler, Felix Wallner
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Formal Aspects Comput. 36 (1) (2024)
Lokanna Kadakolmath, Umesh D. Ramu
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. Formal Aspects Comput. 36 (1) (2024)
Matteo Pradella
: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. Formal Aspects Comput. 36 (1) (2024)
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
The Concept of Class Invariant in Object-oriented Programming. Formal Aspects Comput. 36 (1) (2024)
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. Formal Aspects Comput. 36 (1) (2024)
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 Aspects Comput. 36 (1) (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 Aspects Comput. 36 (1) (2024)

volume 36, number 2, 2024

volume 35, number 1, 2023

volume 35, number 2, 2023

volume 35, number 3, 2023

volume 35, number 4, 2023

volume 34, number 1, 2022

volume 34, number 2, 2022