10715 search results - page 195 / 2143 » Proofs from Tests |
93
Voted
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
99
Voted
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
86
Voted
FCT
2003
Springer
15 years 6 months ago
2003
Springer
We present an Extended Quadratic Frobenius Primality Test (EQFT), which is related to the Miller-Rabin test and to several other known probabilistic tests. EQFT takes time equival...
130
Voted
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
128
Voted
ECMDAFA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...