26 search results - page 1 / 6 » Automated Requirements-based Generation of Test Cases for Pr... |
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
HASE
2007
IEEE
13 years 8 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
SEKE
2010
Springer
13 years 3 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
ICST
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...