88 search results - page 9 / 18 » Debugging by Diagnosing Assumptions |
126
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment. Over the past 30 years, many softw...
154
Voted
CACM
2010
15 years 1 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
122
Voted
SENSYS
2005
ACM
15 years 9 months ago
2005
ACM
Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
137
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
237
Voted
NFM
2011
14 years 10 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...