The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Data path debugging: data-oriented debugging for a concurrent programming language
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
An automatic programming approach to high level program monitoring and measuring
An automatic programming approach to high level program monitoring and measuring
Program visualization: the art of mapping programs to pictures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Query Processing for Temporal Databases
Proceedings of the Sixth International Conference on Data Engineering
Generalized path expressions: A high level debugging mechanism (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Monitoring in a software development environment: A relational approach
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
On the efficient implementation of production systems.
On the efficient implementation of production systems.
Adaptability and portability of symbolic debuggers
Adaptability and portability of symbolic debuggers
Performance assertion checking
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
An annotated bibliography of interactive program steering
ACM SIGPLAN Notices
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Relational queries over program traces
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
VizScript: on the creation of efficient visualizations for understanding complex multi-agent systems
Proceedings of the 13th international conference on Intelligent user interfaces
Composing expressive runtime security policies
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model Driven Performance Measurement and Assessment with MoDePeMART
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
The role of event description in architecting dependable systems
Architecting dependable systems
On the specification of non-functional properties of systems by observation
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Dynamic self-control of autonomous agents
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |
Program monitoring and measuring is the activity of collecting information about the execution characteristics of a program. Although this activity is occasionally supported by special-purpose hardware, it is normally done by adding instrumentation code to the program so that it collects interesting data as it runs. Unfortunately, this alteration is itself a difficult task involving all the complexities of programming. Given some questions to be answered, the programmer must determine what data must be collected, determine where in the program those data can be collected, and add code to the program to collect that data and to process it to produce the desired results. The goal of the work described is to automate the process. A high-level program monitoring and measuring system is presented. The system provides a high-level specification language to let programmers specify what they want to know about their program's execution. It automatically generates an augmented program whose execution produces both the results of the original program and answers to the specified questions.