MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automated and Algorithmic Debugging" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

Semi-Automatic Fault Localization and Behavior Verification for
by Physical System Simulation, Peter Bunus, Peter Fritzson — 2003 — In Proceedings of the 18 th IEEE International Conference on Automated Software Engineering
… presents an algorithmic semi-automated debugging framework for equation-based modeling languages. We show…
Add To MetaCart

A Pragmatic Survey of Automated Debugging
by Mireille Ducassé — 1993
… Workshop on Automated and Algorithmic Debugging, Linkoping, May 1993. LNCS 749 Springer…
Cited by 14 (2 self) – Add To MetaCart

Slicing Programs with Arbitrary Control Flow
by Thomas Ball , Susan Horwitz — 1992 — ST CONFERENCE ON AUTOMATED ALGORITHMIC DEBUGGING
… International Workshop on Automated and Algorithmic Debugging (1993): LNCS Vol 749…
Cited by 77 (7 self) – Add To MetaCart

Automated Fault Localization Using Potential Invariants
by Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss — 2003
… a variable is always equal to a constant. Fifth Int. Workshop on Automated and Algorithmic Debugging…
Cited by 30 (1 self) – Add To MetaCart

AADEBUG2003 261 Availability Guarantee for
by Deterministic Replay Starting, Joel Huselius, Henrik Thane, Daniel Sundmark
…. Workshop on Automated and Algorithmic Debugging 262 JOEL HUSELIUS, HENRIK THANE AND DANIEL SUNDMARK…
Add To MetaCart

Causes and Effects in Computer Programs
by Andreas Zeller — 2003
…. Fifth Int. Workshop on Automated and Algorithmic Debugging XXX2 ANDREAS ZELLER Program execution Program…
Cited by 1 (0 self) – Add To MetaCart

Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies
by Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson, Roger Mellander, Ingemar Reiyer, Mattias Kallvi — 2003
….pettersson}@(email omitted); Fifth Int. Workshop on Automated and Algorithmic Debugging XXX2 DANIEL SUNDMARK ET AL. 1.1 Contribution…
Cited by 4 (3 self) – Add To MetaCart

Model-based debugging using multiple abstract models
by Wolfgang Mayer, Markus Stumptner — 2003 — In International Workshop on Automated and Algorithmic Debugging
…,mst}@(email omitted); Fifth Int. Workshop on Automated and Algorithmic Debugging 56 WOLFGANG MAYER ET AL. Section 6 provides…
Cited by 6 (1 self) – Add To MetaCart

Idempotent I/O for safe
by Time Travel Zoltan, Zoltan Somogyi
… on Automated and Algorithmic Debugging XXX4 AADEBUG2003 Besides reexecuting the read and write operations…
Add To MetaCart

Bosschere. Instrumenting self-modifying code
by Jonas Maebe, Koen De Bosschere — 2003 — In Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG
… instrumentation in general and DIOTA Fifth Int. Workshop on Automated and Algorithmic Debugging INSTRUMENTING SELF…
Cited by 8 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB