3547 search results - page 479 / 710 » Pseudo-Exhaustive Testing for Software |
180
click to vote
INTERACT
1997
15 years 8 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
171
click to vote
IJFCS
2006
15 years 6 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
155
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...
172
click to vote
JSS
2007
15 years 6 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
176
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...