488 search results - page 22 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
126
Voted
EMSOFT
2008
Springer
15 years 5 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, ...
139
click to vote
FMCO
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
155
click to vote
ASE
2005
15 years 3 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
140
click to vote
ECMDAFA
2007
Springer
15 years 9 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
114
click to vote
FTDCS
1997
IEEE
15 years 7 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...