Detecting model inconsistency through operation-based model construction.

Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens

Browse the full ICSE paper archive.