1112 search results - page 63 / 223 » Executing Abstract Test Cases |
150
click to vote
ENTCS
2007
15 years 2 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
170
click to vote
SAS
1992
Springer
15 years 7 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
177
click to vote
TFM
2009
Springer
15 years 9 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
117
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
132
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...