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
Article: isstaws21ftfjpforeword-fm000-p doi:
Welcome from the Chair
Article: isstaws21ftfjpforeword-fm001-p doi:

Papers

Source Code Patches from Dynamic Analysis
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)
Publisher's Version Article: isstaws21ftfjpmain-id6-p doi:10.1145/3464971.3468416
A Generic Type System for Featherweight Java
Ulrich Schöpp and Chuangjie Xu
(fortiss, Germany)
Publisher's Version Article: isstaws21ftfjpmain-id8-p doi:10.1145/3464971.3468419
Refactoring Traces to Identify Concurrency Improvements
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)
Publisher's Version Article: isstaws21ftfjpmain-id3-p doi:10.1145/3464971.3468420
Reconstructing Z3 Proofs in KeY: There and Back Again
Wolfram Pfeifer, Jonas Schiffl, and Mattias Ulbrich
(KIT, Germany)
Publisher's Version Article: isstaws21ftfjpmain-id7-p doi:10.1145/3464971.3468421
Using Dafny to Solve the VerifyThis 2021 Challenges
Marie Farrell, Conor Reynolds, and Rosemary Monahan
(Maynooth University, Ireland)
Publisher's Version Article: isstaws21ftfjpmain-id9-p doi:10.1145/3464971.3468422
IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, and Marieke Huisman
(University of Twente, Netherlands)
Publisher's Version Article: isstaws21ftfjpmain-id4-p doi:10.1145/3464971.3468423
Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time
Weitian Xing, Yuanhui Cheng, and Werner Dietl
(University of Waterloo, Canada)
Publisher's Version Article: isstaws21ftfjpmain-id5-p doi:10.1145/3464971.3468418
Behavioural Separation with Parallel Usages
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, and Mikkel Kettunen
(Aalborg University, Denmark; University of Glasgow, UK)
Publisher's Version Article: isstaws21ftfjpmain-id1-p doi:10.1145/3464971.3468424
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Armand Puccetti, Gaël de Chalendar, and Pierre-Yves Gibello
(University of Paris-Saclay, France; CEA LIST, France; OW2, France)
Publisher's Version Article: isstaws21ftfjpmain-id10-p doi:10.1145/3464971.3468425
JML and OpenJML for Java 16
David R. Cok
(Safer Software Consulting, USA)
Publisher's Version Article: isstaws21ftfjpmain-id2-p doi:10.1145/3464971.3468417

proc time: 0.02