On the complexity of program debugging using constraints for modeling the program's syntax and semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5988 LNAI, Issue , 2010, Pages 22-31

  Wotawa, Franz ^a   Weber, Jörg ^a   Nica, Mihai ^a   Ceballos, Rafael ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX PROGRAMS; CONSTRAINT SATISFACTION PROBLEMS; CONSTRAINT SOLVING; CONSTRAINT-BASED; MODEL BASED DIAGNOSIS;

ARTIFICIAL INTELLIGENCE; PROGRAM DIAGNOSTICS;

PROGRAM DEBUGGING;

EID: 77955016903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14264-2_3     Document Type: Conference Paper

References (14)

1. Brandis, M.M., Mössenböck, H.: Single-pass generation of static assignment form for structured languages. ACM TOPLAS 16(6), 1684-1698 (1994)
2. Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)
3. Gottlob, G., Leone, N., Scarcello, F.: A comparison of structural CSP decomposition methods. Artificial Intelligence 124(2), 243-282 (2000)
4. DeMillo, R.A., Pan, H., Spafford, E.H.: Critical slicing for software fault localization. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 121-134 (1996)
5. Mayer, W., Stumptner, M., Wieland, D., Wotawa, F.: Can ai help to improve debugging substantially? debugging experiences with value-based models. In: Proceedings of the European Conference on Artificial Intelligence, Lyon, France, pp. 417-421 (2002)
6. http://www.dbai.tuwien.ac.at/proj/hypertree/index.html
7. Thorup, M.: All Structured Programs have Small tree width and Good Register Allocation. Information and Computation Journal
8. Dermaku, A., Ganzow, T.,Gottlob, G.,McMahan, B., Musliu, N., Samer, M.: Heuristic Methods for hypertree Decompositions, DBAI-TR-2005-2053, Technische Universität Wien (2005)
9. Mayer, W.: Static and Hybrid Analysis in Model-based Debugging. PhD Thesis, School of Computer and Information Science, University of South Australia,Adelaide,Australia (2007)
10. Wotawa, F., Nica, M.: On the Compilation of Programs into their equivalent Constraint Representation. Informatica 32(4), 359-371 (2008)
11. Ceballos, R., Gasca, R.M., Del Valle, C., Borrego, D.: Diagnosing Errors in DbC Programs Using Constraint Programming. In: Maŕn, R., Onaind́a, E., Bugaŕn, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol.4177, pp. 200-210. Springer, Heidelberg (2006)
12. Wotawa, F., Peischl, B.: Automated source level error localization in hardware designs. IEEE Design and Test of Computers 23(1), 8-19 (2006)
13. Collavizza, H., Rueher, M.: Exploring Different Constraint-Based Modelings for Program Verification. In: Bessìere, C. (ed.) CP 2007. LNCS, vol.4741, pp. 49-63. Springer, Heidelberg (2007)
14. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)