Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.

Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski

Browse the full ECOOP paper archive.