Sciweavers

332 search results - page 2 / 67
» A specification-based approach to testing software product l...
Sort
View
SPLC
2010
13 years 3 months ago
Improving the Testing and Testability of Software Product Lines
Abstract. Software Product Line (SPL) engineering offers several advantages in the development of families of software products. There is still a need, however, for better underst...
Isis Cabral, Myra B. Cohen, Gregg Rothermel
SPLST
2003
13 years 6 months ago
RITA Environment for Testing Framework-based Software Product Lines
A software product line can be used to implement a software product family that is a set of software products sharing common features. A natural implementation strategy for a softw...
Raine Kauppinen, Juha Taina
KBSE
2008
IEEE
13 years 11 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
ICST
2010
IEEE
13 years 2 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
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...
Sergio Segura, Robert M. Hierons, David Benavides,...
APSEC
2004
IEEE
13 years 8 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu