1776 search results - page 199 / 356 » Hypothesis Testing for Module Test in Software Development |
117
Voted
SP
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
107
Voted
ITCC
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
116
click to vote
JAR
2006
15 years 2 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
105
Voted
TSE
2002
15 years 2 months ago
2002
There is an increased interest in using control charts for monitoring and improving software processes, particularly quality control processes like reviews and testing. In a contro...
130
Voted
DCC
2006
IEEE
16 years 2 months ago
2006
IEEE
A covering array CA(N; t, k, v) is an N ? k array such that every N ? t sub-array contains all t-tuples from v symbols at least once, where t is the strength of the array. Coverin...