Using Explanations to Improve the Validation of Executable Models

Jon Atle Gulla, Geir Willumsen

Browse the full CaiSE paper archive.