1246 search results - page 120 / 250 » Online testing with model programs |
118
Voted
SEUS
2010
IEEE
14 years 11 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
93
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
134
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
106
Voted
SIGSOFT
2004
ACM
15 years 6 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
94
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
The sustained push toward smaller and smaller technology sizes has reached a point where device reliability has moved to the forefront of concerns for next-generation designs. Sil...