4079 search results - page 653 / 816 » Differential Testing for Software |
130
click to vote
MSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Disk subsystems span the range of configuration complexity from single disk drives to large installations of disk arrays. They can be directly attached to individual computer syst...
191
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
135
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
137
click to vote
UIST
2000
ACM
15 years 8 months ago
2000
ACM
We describe sensing techniques motivated by unique aspects of human-computer interaction with handheld devices in mobile settings. Special features of mobile interaction include c...
158
click to vote
CHI
1999
ACM
15 years 8 months ago
1999
ACM
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...