Prototyping a tool environment for run-time assertion checking in JML with communication histories.

Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju

Browse the full ECOOP paper archive.