Data Abstraction and Constraint Solving for Conformance Testing.

Jens R. Calam, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova

Browse the full APSEC paper archive.