214 search results - page 16 / 43 » Incremental Test Generation for Software Product Lines |
DATE
2002
IEEE
14 years 17 days ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...
FOAL
2009
ACM
14 years 2 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
IIWAS
2008
13 years 9 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...