Analyzing Regression Test Selection Techniques
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Regression test selection for Java software
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Verifying cross-cutting features as open systems
ACM SIGSOFT Software Engineering Notes
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Semantics-Based Composition of Class Hierarchies
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Modular Static Program Analysis
CC '02 Proceedings of the 11th International Conference on Compiler Construction
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Assumption Generation for Software Component Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
JTS: Tools for Implementing Domain-Specific Languages
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
Proceedings of the 19th IEEE international conference on Automated software engineering
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Semantic reasoning about feature composition via multiple aspect-weavings
Proceedings of the 5th international conference on Generative programming and component engineering
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
Communications of the ACM - Software product line
Interaction testing of highly-configurable systems in the presence of constraints
Proceedings of the 2007 international symposium on Software testing and analysis
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Testing Software Product Lines Using Incremental Test Generation
ISSRE '08 Proceedings of the 2008 19th International Symposium on Software Reliability Engineering
Scaling Java points-to analysis using SPARK
CC'03 Proceedings of the 12th international conference on Compiler construction
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Eliminating products to test in a software product line
Proceedings of the IEEE/ACM international conference on Automated software engineering
Reducing configurations to monitor in a software product line
RV'10 Proceedings of the First international conference on Runtime verification
Using inter-procedural side-effect information in JIT optimizations
CC'05 Proceedings of the 14th international conference on Compiler Construction
MAO: ownership and effects for more effective reasoning about aspects
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
On the impact of feature dependencies when maintaining preprocessor-based software product lines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Model-based coverage-driven test suite generation for software product lines
Proceedings of the 14th international conference on Model driven engineering languages and systems
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Intraprocedural dataflow analysis for software product lines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Integration testing of software product lines using compositional symbolic execution
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
An algorithm for generating t-wise covering arrays from large feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Toward variability-aware testing
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Strategies for testing products in software product lines
ACM SIGSOFT Software Engineering Notes
Grammar-based test generation for software product line feature models
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
Assume-guarantee testing of evolving software product line architectures
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Continuous test suite augmentation in software product lines
Proceedings of the 17th International Software Product Line Conference
SPLLIFT: statically analyzing software product lines in minutes instead of years
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Combining concern input with program analysis for bloat detection
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Intraprocedural dataflow analysis for software product lines
Transactions on Aspect-Oriented Software Development X
Model-driven rapid prototyping with programmed graph transformations
Journal of Visual Languages and Computing
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
Hi-index | 0.00 |
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 may require the examination of a combinatorial number of programs. In reality, however, features are often irrelevant for a given test - they augment, but do not change, existing behavior, making many feature combinations unnecessary as far as testing is concerned. In this paper we show how to reduce the amount of effort in testing an SPL. We represent an SPL in a form where conventional static program analysis techniques can be applied to find irrelevant features for a test. We use this information to reduce the combinatorial number of SPL programs to examine.