Practical multiverse debugging through user-defined reductions: application to UML models.

Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec

Browse the full MODELS paper archive.