3547 search results - page 430 / 710 » Pseudo-Exhaustive Testing for Software |
169
click to vote
MICRO
2006
IEEE
16 years 23 days ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
189
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
182
click to vote
PRESENCE
1998
15 years 6 months ago
1998
The research we are reporting here is part of our effort to develop a navigation system for the blind. Our long-term goal is to create a portable, self-contained system that will ...
190
click to vote
TOCHI
1998
15 years 6 months ago
1998
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
189
click to vote
TROB
2002
15 years 6 months ago
2002
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...