10715 search results - page 183 / 2143 » Proofs from Tests |
BCSHCI
2007
15 years 2 months ago
2007
Eye-tracking research is increasingly used to supplement usability tests in both commercial and academic practice. However, while there has been research into links between eyetra...
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
127
click to vote
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
106
click to vote
AI
2002
Springer
15 years 20 days ago
2002
Springer
This paper provides algorithms that use an information-theoretic analysis to learn Bayesian network structures from data. Based on our three-phase learning framework, we develop e...
84
Voted
HCI
2007
15 years 2 months ago
2007
Abstract. This paper describes the planning and implementation of a crossborder usability test that was to be executed in five European countries. The usability evaluation was desi...