@InProceedings{TschannenFuriaNordioMeyerSEFM11, author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques}, booktitle = {Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM)}, series = {SEFM '11}, year = {2011}, series = {LNCS}, publisher = {Springer}, urltopdf = {http://se.inf.ethz.ch/people/tschannen/publications/TschannenSEFM11.pdf}, }