Stop the war!
Остановите войну!
for scientists:
default search action
Formal Aspects of Computing, Volume 36
Volume 36, Number 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. 1:1-1:2 - 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. 2:1-2:24 - Bernhard K. Aichernig, Martin Tappler, Felix Wallner:
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. 3:1-3:37 - Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles:
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. 4:1-4:46
- Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov:
The Concept of Class Invariant in Object-oriented Programming. 5:1-5:38 - Lokanna Kadakolmath, Umesh D. Ramu:
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. 6:1-6:45
- Matteo Pradella:
Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. 7:1-7:2
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.