2638 search results - page 51 / 528 » A Framework for Automatic Debugging |
125
click to vote
DEBU
2010
14 years 10 months ago
2010
Developing high-quality information extraction (IE) rules, or extractors, is an iterative and primarily manual process, extremely time consuming, and error prone. In each iteratio...
207
click to vote
NFM
2011
14 years 8 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
110
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
138
click to vote
PASTE
2010
ACM
15 years 5 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
121
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Monitoring transit traffic at one or more points in a network is of interest to network operators for reasons of traffic accounting, debugging or troubleshooting, forensics, and tr...