1112 search results - page 78 / 223 » Executing Abstract Test Cases |
118
click to vote
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
237
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
131
click to vote
JSS
2008
15 years 1 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
142
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
124
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...