741 search results - page 5 / 149 » Eliminating products to test in a software product line |
KBSE
2008
IEEE
14 years 12 days ago
2008
IEEE
—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...
JIT
2004
Springer
13 years 11 months ago
2004
Springer
Software product lines have a demonstrated potential for cost-effective development of software families. Product lines have to support and coordinate variabilities between the di...
ICSE
2007
IEEE-ACM
14 years 6 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
ICST
2010
IEEE
13 years 4 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...
SPLC
2008
13 years 7 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...