Burkhart Wolff

The HOL-OCL book

Achim D. Brucker, Burkhart Wolff · Repository for Publications and Research Data (ETH Zurich) · 2006 · 68 citations · Full text

Computing, Computer Science, Formal Methods +16

On theorem prover-based testing

Achim D. Brucker, Burkhart Wolff · Formal Aspects of Computing · 2012 · 51 citations · Full text

Computing, Computer Science, Formal Methods +9

A Specification-Based Test Case Generation Method for UML/OCL

Achim D. Brucker, Matthias P. Krieger, Delphine Longuet et al. · 2010 · 35 citations

Computing, Computer Science, Formal Methods +11

HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler

Sascha Böhme, Michał Moskal, Wolfram Schulte et al. · Journal of Automated Reasoning · 2009 · 33 citations

Computing, Computer Engineering, Computer Science +13

Automatic and efficient simulation of operation contracts

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff · 2010 · 32 citations

Computing, Computer Science, Systems Engineering +11