Better Debugging through More Abstract Observations

Authors:
Wolfgang Mayer;Markus Stumptner
Affiliations:
Advanced Computing Research Centre, University of South Australia. [mayer,mst]@cs.unisa.edu.au;Advanced Computing Research Centre, University of South Australia. [mayer,mst]@cs.unisa.edu.au
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 7
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
Aspect: detecting bugs with abstract dependences

ACM Transactions on Software Engineering and Methodology (TOSEM)
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Construction of Abstract State Graphs with PVS

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results

Applied Intelligence
Debugging user interface descriptions of knowledge-based recommender applications

Proceedings of the 11th international conference on Intelligent user interfaces
Model-based debugging with high-level observations

Intelligent information processing II

Quantified Score

Hi-index	0.00

Visualization

Abstract