ISSTA 2021 Workshops
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021)
Powered by
Conference Publishing Consulting

23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021), July 13, 2021, Virtual, Denmark

FTfJP 2021 – Proceedings

Contents - Abstracts - Authors

23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021)

Frontmatter

Title Page
Welcome from the Chair

Papers

Source Code Patches from Dynamic Analysis
Indigo OrtonORCID logo and Alan MycroftORCID logo
(University of Cambridge, UK)
Publisher's Version
A Generic Type System for Featherweight Java
Ulrich SchöppORCID logo and Chuangjie XuORCID logo
(fortiss, Germany)
Publisher's Version
Refactoring Traces to Identify Concurrency Improvements
Indigo OrtonORCID logo and Alan MycroftORCID logo
(University of Cambridge, UK)
Publisher's Version
Reconstructing Z3 Proofs in KeY: There and Back Again
Wolfram Pfeifer ORCID logo, Jonas Schiffl ORCID logo, and Mattias Ulbrich ORCID logo
(KIT, Germany)
Publisher's Version
Using Dafny to Solve the VerifyThis 2021 Challenges
Marie Farrell ORCID logo, Conor Reynolds ORCID logo, and Rosemary Monahan ORCID logo
(Maynooth University, Ireland)
Publisher's Version
IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van DijkORCID logo, and Marieke HuismanORCID logo
(University of Twente, Netherlands)
Publisher's Version Info
Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time
Weitian Xing, Yuanhui Cheng, and Werner DietlORCID logo
(University of Waterloo, Canada)
Publisher's Version
Behavioural Separation with Parallel Usages
Iaroslav Golovanov, Hans HüttelORCID logo, Mathias Jakobsen ORCID logo, and Mikkel Kettunen
(Aalborg University, Denmark; University of Glasgow, UK)
Publisher's Version
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Armand Puccetti ORCID logo, Gaël de Chalendar ORCID logo, and Pierre-Yves Gibello ORCID logo
(University of Paris-Saclay, France; CEA LIST, France; OW2, France)
Publisher's Version
JML and OpenJML for Java 16
David R. Cok ORCID logo
(Safer Software Consulting, USA)
Publisher's Version

proc time: 2.19