Sciweavers

112 search results - page 3 / 23
» Testing Software Product Lines Using Incremental Test Genera...
Sort
View
SIGSOFT
2010
ACM
13 years 15 days ago
Evolution of a bluetooth test application product line: a case study
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
Narayan Ramasubbu, Rajesh Krishna Balan
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
13 years 11 months ago
Increasing Understanding of the Modern Testing Perspective in Software Product Development Projects
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
Maaret Pyhäjärvi, Kristian Rautiainen, J...
KBSE
2008
IEEE
14 years 5 days 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
AOSD
2011
ACM
13 years 25 days ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
14 years 6 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen