Browsing Electrical and Computer Engineering by Subject "Pattern-based debugging"
Now showing items 1-1 of 1
-
Debugging Relational Declarative Models with Discriminating Examples
(University of Waterloo, 2017-02-01)Models, especially those with mathematical or logical foundations, have proven valuable to engineering practice in a wide range of disciplines, including software engineering. Models, sometimes also referred to as logical ...