The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Modeling Language for Program Design and Synthesis
Advances in Software Engineering
Software product line testing - A systematic mapping study
Information and Software Technology
Improving the testing and testability of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Analyzing variability: capturing semantic Ripple effects
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Specifying a testing oracle for train stations --- going beyond with product line technology
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Integration testing of software product lines using compositional symbolic execution
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Automatic selection of test execution plans from a video conferencing system product line
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
State of the art: Dynamic symbolic execution for automated test generation
Future Generation Computer Systems
Continuous test suite augmentation in software product lines
Proceedings of the 17th International Software Product Line Conference
Hi-index | 0.00 |
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our approach uses SAT-based analysis to automatically generate test inputs for each product in a product line. To ensure soundness of generation, we introduce an automatic technique for mapping a formula that specifies a feature into a transformation that defines incremental refinement of test suites. Our experimental results using different data structure product lines show that incremental approach can provide an order of magnitude speed-up over conventional techniques.