-
4
-
-
3042622265
-
Software fault interactions and implications for software testing
-
D.R. Kuhn; D.R. Wallace; A.M. Gallo. Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng., 30(6):418-421, 2004.
-
(2004)
IEEE Trans. Softw. Eng.
, vol.30
, Issue.6
, pp. 418-421
-
-
Kuhn, D.R.1
Wallace, D.R.2
Gallo, A.M.3
-
6
-
-
0000673732
-
The aetg system: An approach to testing based on combinatorial design
-
July
-
D.M. Cohen; S.R. Dalal; M.L. Fredman; G.C. Patton. The aetg system: an approach to testing based on combinatorial design. Software Engineering, IEEE Transactions on, 23:437-444, July 1997.
-
(1997)
Software Engineering, IEEE Transactions on
, vol.23
, pp. 437-444
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
7
-
-
67249136618
-
Testing software product lines using incremental test generations
-
IEEE Computer Society
-
E. Uzuncaova; D. Garcia; S. Khurshid; D.batory. Testing software product lines using incremental test generations. ISSRE. IEEE Computer Society, pages 249-258, 2008.
-
(2008)
ISSRE
, pp. 249-258
-
-
Uzuncaova, E.1
Garcia, D.2
Khurshid, S.3
Batory, D.4
-
8
-
-
77955227439
-
Automated analysis of feature models 20 years later: A literature review
-
D. Benavides; S. Segura; A. R. Cortés. Automated analysis of feature models 20 years later: A literature review. Information Systems, (35):615-636, 2010.
-
(2010)
Information Systems
, Issue.35
, pp. 615-636
-
-
Benavides, D.1
Segura, S.2
Cortés, A.R.3
-
9
-
-
47949083738
-
Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis
-
A. Metzger; K. Pohl; P. Heymans; P.Y. Schobbens; G. Saval. Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis. In Requirements Engineering Conference, pages 243-253, 2007.
-
(2007)
Requirements Engineering Conference
, pp. 243-253
-
-
Metzger, A.1
Pohl, K.2
Heymans, P.3
Schobbens, P.Y.4
Saval, G.5
-
12
-
-
47949122381
-
Supporting product derivation by adapting and augmenting variability models
-
September
-
R. Rabiser; P. Grunbacher; D. Dhungana. Supporting product derivation by adapting and augmenting variability models. In Software Product Line Conference, (141-150), September 2007.
-
(2007)
Software Product Line Conference
, Issue.141-150
-
-
Rabiser, R.1
Grunbacher, P.2
Dhungana, D.3
-
14
-
-
20744438189
-
Staged configuration through specialization and multilevel configuration of feature models
-
June
-
K. Czarnecki; S. Helsen; U.W. Eisenecker. Staged configuration through specialization and multilevel configuration of feature models. Software Process : Improvement and Practice, 10(2):143-169, June 2005.
-
(2005)
Software Process: Improvement and Practice
, vol.10
, Issue.2
, pp. 143-169
-
-
Czarnecki, K.1
Helsen, S.2
Eisenecker, U.W.3
-
16
-
-
77953132059
-
Automated diagnosis of feature model configurations
-
J. White; D. Benavides; D. C. Schmidt; P. Trinidad; B. Dougherty; A. Ruiz-Cortés. Automated diagnosis of feature model configurations. Joural of Systems and Software, 83(7):1094-1107, 2010.
-
(2010)
Joural of Systems and Software
, vol.83
, Issue.7
, pp. 1094-1107
-
-
White, J.1
Benavides, D.2
Schmidt, D.C.3
Trinidad, P.4
Dougherty, B.5
Ruiz-Cortés, A.6
-
19
-
-
54249099244
-
Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach
-
July
-
M.B. Cohen; M.B. Dwyer; J. Shi. Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach. IEEE Transactions on Software Engineering, 34(5):633-650, July 2008.
-
(2008)
IEEE Transactions on Software Engineering
, vol.34
, Issue.5
, pp. 633-650
-
-
Cohen, M.B.1
Dwyer, M.B.2
Shi, J.3
-
20
-
-
77954510052
-
Automated and scalable t-wise test case generation strategies for software product lines
-
G. Perrouin; S. Sen; J. Klein; B. Baudry; Y. le Traon. Automated and scalable t-wise test case generation strategies for software product lines. Software Testing, Verification and Validation (ICST), pages 459-468, 2010.
-
(2010)
Software Testing, Verification and Validation (ICST)
, pp. 459-468
-
-
Perrouin, G.1
Sen, S.2
Klein, J.3
Baudry, B.4
Le Traon, Y.5
-
21
-
-
84873872008
-
-
available from
-
Pure systems GmbH. pure::variant user's guide. available from http://web.pure-systems.com. 2011.
-
(2011)
Pure::variant User's Guide
-
-
|