2302 search results - page 18 / 461 » Testing as Abstraction |
125
click to vote
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
148
click to vote
SOQUA
2004
15 years 6 months ago
2004
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
186
click to vote
TAICPART
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
141
click to vote
AAAI
1994
15 years 6 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
146
click to vote
AC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self