A framework for execution monitoring in Icon
Software—Practice & Experience
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
Software—Practice & Experience
An empirical investigation of program spectra
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Coca: an automated debugger for C
Proceedings of the 21st international conference on Software engineering
The concept of dynamic analysis
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Simplifying and Isolating Failure-Inducing Input
IEEE Transactions on Software Engineering
Algorithmic Program DeBugging
Compiler Design
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Debugging Constraint Programs by Store Inspection
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
CSPLIB: A Benchmark Library for Constraints
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
A Framework for Automatic Debugging
Proceedings of the 17th IEEE international conference on Automated software engineering
Divide-and-query and subterm dependency tracking in the mercury declarative debugger
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Empirical evaluation of the tarantula automatic fault-localization technique
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Generic program monitoring by trace analysis
Theory and Practice of Logic Programming
Controlling search space materialization in a practical declarative debugger
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.00 |
Tracers provide users with useful information about program executions. In this article, we propose a “tracer driver”. From a single tracer, it provides a powerful front-end enabling multiple dynamic analysis tools to be easily implemented, while limiting the overhead of the trace generation. The relevant execution events are specified by flexible event patterns and a large variety of trace data can be given either systematically or “on demand”. The proposed tracer driver has been designed in the context of constraint logic programming (CLP); experiments have been made within GNU-Prolog. Execution views provided by existing tools have been easily emulated with a negligible overhead. Experimental measures show that the flexibility and power of the described architecture lead to good performance. The tracer driver overhead is inversely proportional to the average time between two traced events. Whereas the principles of the tracer driver are independent of the traced programming language, it is best suited for high-level languages, such as CLP, where each traced execution event encompasses numerous low-level execution steps. Furthermore, CLP is especially hard to debug. The current environments do not provide all the useful dynamic analysis tools. They can significantly benefit from our tracer driver which enables dynamic analyses to be integrated at a very low cost.