From constraint representations of sequential code and program annotations to their use in debugging

• Authors:

• Mihai Nica;Franz Wotawa

• Affiliations:

• Technische Universität Graz, Institute for Software Technology, 8010 Graz, Inffeldgasse 16b/2, Austria, mihai.nica@ist.tugraz.at;Technische Universität Graz, Institute for Software Technology, 8010 Graz, Inffeldgasse 16b/2, Austria, wotawa@ist.tugraz.at

• Venue:
• Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
• Year:
• 2008