Max-CSP approach for software diagnosis

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2527, Issue , 2002, Pages 172-181

  Ceballos, R ^a   Gasca, Rafael M ^a   Del Valle, Carmelo ^a   Toro, Miguel ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT-BASED; DIAGNOSIS PROBLEM; FORMAL SPECIFICATION; FUNCTIONAL DEPENDENCY; MAX-CSP; MINIMAL DIAGNOSIS; NEW APPROACHES; SOFTWARE DEVELOPMENT; SOURCE CODES; TEST CASE; CONSTRAINT-BASED MODELING; FUNCTIONAL DEPENDENCY GRAPHS;

ARTIFICIAL INTELLIGENCE; PROGRAM DEBUGGING; SEMANTICS; SOFTWARE DESIGN; COMPUTER PROGRAMMING; CONSTRAINT SATISFACTION PROBLEMS; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING; SOFTWARE TESTING;

PROGRAM DIAGNOSTICS; PROGRAM DEBUGGING;

EID: 78149401751     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-36131-6_18     Document Type: Conference Paper

References (13)

1. Robert V. Binder.: Testing Object-Oriented Systems: Models, Patterms, and Tools. Addison Wesley.
2. R. Ceballos, R. M. Gasca, Carmelo Del Valle y Miguel Toro: Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas. IV Jornadas de ARCA, Sistemas Cualitativos y Diagnosis, Vilanova i la Geltrú, Spain, June 2002.
3. Khalil, M.: Automated strategies for software diagnosis. The Ninth International Sympsosium on Software Reliability Engineering, Paderborn, Germany, Nov. 1998.
4. K. Kask.: New Search Heuristics for Max-CSP In Proceeding of CP'2000, pg. 262-277, 2000.
5. Khalil, M.: An Experimental Comparison of Software Diagnosis Methods. 25th Euromicro Conference 1999.
6. ILOG: ILOG Solver 4.4 User's Manual. ILOG 1999.
7. J. Larrossa: Algorithms and Heuristics for Total and Partial Constraint Satisfaction. Ph.D dissertation, 1998.
8. J. Larrossa and P. Meseguer.: Partition-based lower bound for max-csp. Proceedings CP, pages 303-315, 1999.
9. Lyle J. R. and Weiser, M.: Automatic bug location by program slicing. Second International Conference on Computers and Applications, Beijing, China, pag. 877-883,June 1987.
10. Cristinel Mateis, Markus Stumptner, Dominik Wieland and Franz Wotawa.: Debugging of Java programs using a model-based approach. DX-99 Work-Shop,Loch Awe, Scotland (1999).
11. Cristinel Mateis, Markus Stumptner, Dominik Wieland and Franz Wotawa.: Extended Abstract-Model-Based Debugging of Java Programs. AADEBUG, August 2000, Munich.
12. Weiser, M.: Programmers Use Slices When Debugging. Communications of the ACM, Vol. 25, No. 7, pp.446-452,1982.
13. Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering SE-10, 4, pp. 352-357, 1984