1776 search results - page 242 / 356 » Hypothesis Testing for Module Test in Software Development |
138
Voted
FASE
2006
Springer
15 years 6 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
157
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
122
click to vote
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
133
click to vote
MSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
123
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...