Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa (Ling) Liu:
Automatic Testing of Object Oriented Software

In a concurrent context, the standard concepts of Design by Contract cannot be applied with their usual semantics. Devising a suitable interpretation yields insights into the fundamental nature of concurrent programming and helps towards the goal of defining techniques that would - at last - raise concurrent programming to a level of clarity, abstraction and reliability matching the progress that 40 years of software engineering have brought to the sequential world. The talk will describe how this concurrent reinterpretation of software contracts has led to the design of the SCOOP model of concurrent object-oriented programming, and present the current state of SCOOP, its implementation and its applications.