ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Mon 16 Jul 2018 16:25 - 16:50 at Hanoi - Session 3

The standard Java API defines a number of useful and widely used interfaces, where the flow of methods invoked on objects must follow certain patterns to ensure their correct use. Typically, such patterns are informally specified in the documentation with several rules, which often do not cover full details, and are scattered throughout the whole documentation, since they usually involve more methods which are invoked subsequently. Failing to follow such rules causes a throw of IllegalStateException, or similar exceptions. Let us consider, for instance, the specification of the following types defined by the standard API of Java 10 in module java.base.

Mon 16 Jul

FTfJP-2018-papers
16:00 - 18:15: FTfJP - Session 3 at Hanoi
FTfJP-2018-papers16:00 - 16:25
Short-paper
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
FTfJP-2018-papers16:25 - 16:50
Short-paper
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova
Pre-print
FTfJP-2018-papers16:50 - 17:15
Short-paper
Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
Pre-print
FTfJP-2018-papers17:15 - 17:45
Demonstration
Wytse OortwijnUniversity of Twente, The Netherlands
Pre-print
FTfJP-2018-papers17:45 - 18:15
Full-paper
Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente
Pre-print