A distributed programs monitor for Berkeley UNIX
Software—Practice & Experience
Guide to parallel programming on Sequent computer systems: 2nd edition
Guide to parallel programming on Sequent computer systems: 2nd edition
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Programmers use slices when debugging
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Metric (Extended Abstract): A kernel instrumentation system for distributed environments
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Byzantine clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
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
INTERACTIVE DEBUGGING IN A DISTRIBUTED COMPUTATIONAL
INTERACTIVE DEBUGGING IN A DISTRIBUTED COMPUTATIONAL
Tracking the Elusive Mandelbrot Set Error Using Event Based Behavior
Tracking the Elusive Mandelbrot Set Error Using Event Based Behavior
Event Monitoring and Abstraction Tools
Event Monitoring and Abstraction Tools
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
Shuffle Automat: A Formal Model for Behavior Recognition in Distributed
EBBA Modelling Tool a.k.a Event Definition Language
EBBA Modelling Tool a.k.a Event Definition Language
Modelling parallel systems with dynamic structure.
Modelling parallel systems with dynamic structure.
Monitoring distributed systems: a relational approach
Monitoring distributed systems: a relational approach
Structured programming
Agents for collecting application usage data over the Internet
AGENTS '98 Proceedings of the second international conference on Autonomous agents
An approach to large-scale collection of application usage data over the Internet
Proceedings of the 20th international conference on Software engineering
ACM Computing Surveys (CSUR)
A high-performance network intrusion detection system
CCS '99 Proceedings of the 6th ACM conference on Computer and communications security
Managing performance analysis with dynamic statistical projection pursuit
SC '99 Proceedings of the 1999 ACM/IEEE conference on Supercomputing
Dynamic software testing of MPI applications with umpire
Proceedings of the 2000 ACM/IEEE conference on Supercomputing
Extracting usability information from user interface events
ACM Computing Surveys (CSUR)
High-Level Views of Distributed Executions: Convex Abstract Events
Automated Software Engineering
The Journal of Supercomputing
Using execution trace data to improve distribute systems
Software—Practice & Experience
On Using Static Analysis in Distributed System Testing
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Fast detection of communication patterns in distributed executions
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
The design of a configurable, extensible and dynamic notification service
Proceedings of the 2nd international workshop on Distributed event-based systems
The Knowledge Engineering Review
Proceedings of the 26th International Conference on Software Engineering
Vector time and causality among abstract events in distributed computations
Distributed Computing
Relational queries over program traces
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Generic program monitoring by trace analysis
Theory and Practice of Logic Programming
Representation and processing of information related to real world events
Knowledge-Based Systems
Energy-centric routing in wireless sensor networks
Microprocessors & Microsystems
Magpie: online modelling and performance-aware systems
HOTOS'03 Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9
Using magpie for request extraction and workload modelling
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Grid-Level Computing Needs Pervasive Debugging
GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
A model of process documentation to determine provenance in mash-ups
ACM Transactions on Internet Technology (TOIT)
Theory and Practice of Logic Programming
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Empirical Software Engineering
Run-time monitoring of distributed applications
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
An event/rule framework for specifying the behavior of distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Building test constraints for testing middleware-based distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
The role of event description in architecting dependable systems
Architecting dependable systems
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures
Performance visualization for large-scale computing systems: a literature review
HCII'11 Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I
Inspection of distributed and composed systems
Proceedings of the 8th Middleware Doctoral Symposium
Event composition and detection in data stream management systems
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Model-based performance diagnosis of master-worker parallel computations
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Semantic characterization of real world events
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
Adaptable analysis of dependable system architectures through monitoring
Architecting Dependable Systems III
A tool for layered analysing and understanding of distributed programs
Computer Communications
Distributed debugging for mobile networks
Journal of Systems and Software
Hi-index | 0.00 |
We describe a high-level debugging approach, Event-Based Behavioral Abstraction (EBBA), in which debugging is treated as a process of creating models of expected program behaviors and comparing these to the actual behaviors exhibited by the program. The use of EBBA techniques can enhance debugging-tool transparency, reduce latency and uncertainty for fundamental debugging activities, and accommodate diverse, heterogeneous architectures. Using events and behavior models as a basic mechanism provides a uniform view of heterogeneous systems and enables analysis to be performed in well-defined ways. Their use also enables EBBA users to extend and reuse knowledge gained in solving previous problems to new situations. We describe our behavior-modeling algorithm that matches actual behavior to models and automates many behavior analysis steps. The algorithm matches behavior in as many ways as possible and resolves these to return the best match to the user. It deals readily with partial behavior matches and incomplete information. In particular, we describe a tool set we have built. The tool set has been used to investigate the behavior of a wide range of programs. The tools are modular and can be distributed readily throughout a system.