267 search results - page 9 / 54 » Inspections - Some Surprising Findings |
ICST
2011
IEEE
13 years 8 days ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
MICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
— ODIS is an omni-directional mobile robot designed to autonomously or semi-autonomously inspect automobiles in a parking lot. Periodically, its position and orientation referenc...
SIGCSE
2000
ACM
14 years 28 days ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...