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