8398 search results - page 164 / 1680 » Optimal Software Testing |
148
click to vote
JFR
2006
15 years 6 months ago
2006
This paper describes the implementation and testing of Alice, the California Institute of Technology's entry in the 2005 DARPA Grand Challenge. Alice utilizes a highly networ...
187
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
161
click to vote
TAICPART
2006
IEEE
16 years 10 days ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
158
click to vote
APSEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
181
click to vote
APSEC
2006
IEEE
16 years 12 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...