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

Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff

Browse the full MODELS paper archive.