Abstract: Many software engineering artefacts, such as source code or specifications, define a set of operations and impose restrictions to the ordering on which they have to be invoked. Enabledness Preserving Abstractions (EPAs) are concise representations of the behaviour space for such artefacts. In this tutorial, we exemplify how EPAs might be used for validation of software engineering artefacts by showing the use of EPAs to support some programming tasks on a simple Java/C# classes. We will also show how EPAs can be used for better test case generation for classes with interesting protocols.

Slides: [X], [X]
Original Contractor Tool: [X]
The content in these slides was presented during the BehAPI 2019 Summer School in Leicester.