Relational queries over program traces
- 12 October 2005
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (10), 385-402
- https://doi.org/10.1145/1094811.1094841
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Finding application errors and security flaws using PQLPublished by Association for Computing Machinery (ACM) ,2005
- Scalable statistical bug isolationPublished by Association for Computing Machinery (ACM) ,2005
- Expressive Pointcuts for Increased ModularityLecture Notes in Computer Science, 2005
- Implementing protocols via declarative event patternsPublished by Association for Computing Machinery (ACM) ,2004
- Rule-Based Runtime VerificationLecture Notes in Computer Science, 2004
- Object equality profilingPublished by Association for Computing Machinery (ACM) ,2003
- Tracking down software bugs using automatic anomaly detectionPublished by Association for Computing Machinery (ACM) ,2002
- Debugging heterogeneous distributed systems using event-based models of behaviorACM Transactions on Computer Systems, 1995
- A specificational approach to high level program monitoring and measuringIEEE Transactions on Software Engineering, 1992
- High-level language debugging for concurrent programsACM Transactions on Computer Systems, 1990