Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

Authors:

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan and Mana Taghdiri

Publication Venue:

18th IEEE International Conference on Automated Software Engineering (ASE 2003) (Best Paper Award)

When Published:

Oct 6 2003

Attachment	Size
ucore-1.pdf	117.46 KB

by alloy

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search