Publication

Formal Testing of Object-Oriented Software: from the Method to the Tool