1776 search results - page 170 / 356 » Hypothesis Testing for Module Test in Software Development |
122
click to vote
ACE
2004
15 years 4 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
129
click to vote
CF
2005
ACM
15 years 5 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
115
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
141
Voted
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
126
click to vote
SIGSOFT
2010
ACM
15 years 28 days ago
2010
ACM
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...