Abstract is missing.
- Source code patches from dynamic analysisIndigo Orton, Alan Mycroft. 1-8 [doi]
- A generic type system for featherweight JavaUlrich Schöpp, Chuangjie Xu. 9-15 [doi]
- Refactoring traces to identify concurrency improvementsIndigo Orton, Alan Mycroft. 16-23 [doi]
- Reconstructing z3 proofs in KeY: there and back againWolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich. 24-31 [doi]
- Using dafny to solve the VerifyThis 2021 challengesMarie Farrell, Conor Reynolds, Rosemary Monahan. 32-38 [doi]
- IntelliJML: a JML plugin for IntelliJ IDEASteven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman. 39-42 [doi]
- Ensuring correct cryptographic algorithm and provider usage at compile timeWeitian Xing, Yuanhui Cheng, Werner Dietl. 43-50 [doi]
- Behavioural separation with parallel usagesIaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen. 51-58 [doi]
- Combining formal and machine learning techniques for the generation of JML specificationsArmand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello. 59-64 [doi]
- JML and OpenJML for Java 16David R. Cok. 65-67 [doi]