Integrating Verification and Testing of Object-Oriented Software.

Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rmmer

Browse the full TAP paper archive.