A Tool for Automatic Defect Detection in Models Used in Model-Driven Engineering.

Beatriz Marn, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos

Browse the full QUATIC paper archive.