2638 search results - page 219 / 528 » A Framework for Automatic Debugging |
200
Voted
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
177
Voted
IMC
2006
ACM
16 years 29 days ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...
217
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
185
Voted
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
240
click to vote
PPOPP
2005
ACM
16 years 17 days ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...