4079 search results - page 546 / 816 » Differential Testing for Software |
150
click to vote
SCANGIS
2003
15 years 6 months ago
2003
Recently, along with the breakthrough of the Internet and mobile environment, the development towards screen maps used as intelligent user interfaces appears to be emergent. This m...
141
click to vote
INTERACT
1997
15 years 6 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...
141
click to vote
IJFCS
2006
15 years 4 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...
128
Voted
JFR
2006
15 years 4 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...
137
click to vote
JSS
2007
15 years 4 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...