21183 search results - page 243 / 4237 » Adaptive Testing by Test |
159
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
130
click to vote
ZUM
1995
Springer
15 years 10 months ago
1995
Springer
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
156
click to vote
HCI
2007
15 years 8 months ago
2007
Culture plays an important role in the global market today. It not only affects products, but also impacts on usability evaluation methods. In this paper we first introduce culture...
153
click to vote
EMNLP
2004
15 years 8 months ago
2004
If two translation systems differ differ in performance on a test set, can we trust that this indicates a difference in true system quality? To answer this question, we describe b...
179
click to vote
PTS
2000
15 years 7 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...