In transition from global to modular temporal reasoning about programs
Logics and models of concurrent systems
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
A foundation for behavioural conformance in software product line architectures
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards an assume-guarantee theory for adaptable systems
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
MTSA: The Modal Transition System Analyser
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Model Checking of Domain Artifacts in Product Line Engineering
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Regression Test Selection and Product Line System Testing
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Software product line testing - A systematic mapping study
Information and Software Technology
A Regression Testing Approach for Software Product Lines Architectures: Selecting an efficient and effective set of test cases
Reducing configurations to monitor in a software product line
RV'10 Proceedings of the First international conference on Runtime verification
A systematic mapping study of software product lines testing
Information and Software Technology
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Design and validation of variability in product lines
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Proof Composition for Deductive Verification of Software Product Lines
ICSTW '11 Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
Guaranteeing correct evolution of software product lines: setting up the problem
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Formal Description of Variability in Product Families
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Managing evolution in software product lines: a model-checking perspective
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Compositional algorithmic verification of software product lines
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
| Hi-index | 0.00 |
Despite some work on testing software product lines, maintaining the quality of products when a software product line evolves is still an open problem. In this paper, we propose a novel assume-guarantee testing approach as a solution to the following research question: how can we verify the correct functioning of products of an software product line when core components evolve? The underlying idea is to retest only some of the products that conform to the software product line architecture and to infer, using assume-guarantee reasoning, the correctness of the other products. Assume-guarantee reasoning moreover permits the retesting of only those components that are affected by the changes.