Automatic Benchmark Generation for Object Constraint Language.

Ankit Jha

Browse the full ICST paper archive.