Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Browse the full SEFM paper archive.