1134 search results - page 24 / 227 » Composing Tests from Examples |
125
click to vote
CHI
2006
ACM
15 years 11 months ago
2006
ACM
In this SIG experienced usability professionals will share tips and tricks for useful and usable recommendations resulting from usability tests. The discussion will be based on ca...
PAMI
1998
14 years 10 months ago
1998
—We address the problem of determining what size test set guarantees statistically significant results in a character recognition task, as a function of the expected error rate. ...
CAD
2000
Springer
14 years 10 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
KBSE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...
128
click to vote
PTS
2010
14 years 8 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...