Similarity-based prioritization in software product-line testing, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.197-206, 2014. ,
DOI : 10.1145/2648511.2648532
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria, IEEE Transactions on Software Engineering, vol.32, issue.8, pp.608-624, 2006. ,
DOI : 10.1109/TSE.2006.83
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.258
Input-output conformance testing based on featured transition systems, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1272-1278, 2014. ,
DOI : 10.1145/2554850.2554949
Analyzing Hypervolume Indicator Based Algorithms, Parallel Problem Solving from Nature ? PPSN X, pp.651-660, 2008. ,
DOI : 10.1007/978-3-540-87700-4_65
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.1808
On the use of a similarity function for test case selection in the context of model-based testing, Software Testing, Verification and Reliability, vol.12, issue.13, pp.75-100, 2011. ,
DOI : 10.1002/stvr.413
Adaptive Random Testing: The ART of test case diversity, Journal of Systems and Software, vol.83, issue.1, pp.60-66, 2010. ,
DOI : 10.1016/j.jss.2009.02.022
Modelling with FTS: a Collection of Illustrative Examples, 2010. ,
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.1069-1089, 2013. ,
DOI : 10.1109/TSE.2012.86
ProVeLines, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.141-146, 2013. ,
DOI : 10.1145/2499777.2499781
URL : https://hal.archives-ouvertes.fr/hal-00931670
A systematic mapping study of software product lines testing, Information and Software Technology, vol.53, issue.5, pp.53407-423, 2011. ,
DOI : 10.1016/j.infsof.2010.12.003
Variability Intensive system Behavioural teSting framework (VIBeS), 2014 ,
A variability perspective of mutation analysis, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.841-844, 2014. ,
DOI : 10.1145/2635868.2666610
URL : https://hal.archives-ouvertes.fr/hal-01087644
Towards statistical prioritization for software product lines testing, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, 2014. ,
DOI : 10.1145/2556624.2556635
URL : https://hal.archives-ouvertes.fr/hal-01092958
Coverage Criteria for Behavioural Testing of Software Product Lines, ISoLA, pp.336-350, 2014. ,
DOI : 10.1007/978-3-662-45234-9_24
Abstract test case generation for behavioural testing of software product lines, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.86-93, 2014. ,
DOI : 10.1145/2647908.2655971
On the analysis of the (1+1) evolutionary algorithm, Theoretical Computer Science, vol.276, issue.1-2, pp.51-81, 2002. ,
DOI : 10.1016/S0304-3975(01)00182-7
Software product line testing ??? A systematic mapping study, Information and Software Technology, vol.53, issue.1, pp.2-13, 2011. ,
DOI : 10.1016/j.infsof.2010.05.011
Algorithms on strings, trees and sequences: computer science and computational biology, 1997. ,
DOI : 10.1017/CBO9780511574931
Achieving scalable model-based testing through test case diversity, ACM Transactions on Software Engineering and Methodology, vol.22, issue.1, pp.1-42, 2013. ,
DOI : 10.1145/2430536.2430540
An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.141-150, 2010. ,
DOI : 10.1109/ISSRE.2010.9
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.517-528, 2015. ,
DOI : 10.1109/ICSE.2015.69
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines, IEEE Transactions on Software Engineering, vol.40, issue.7, pp.650-670, 2014. ,
DOI : 10.1109/TSE.2014.2327020
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp.188-197547, 1901. ,
DOI : 10.1109/ICSTW.2013.30
An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.46-55, 2012. ,
DOI : 10.1145/2362536.2362547
Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990. ,
Towards the assessment of software product line tests, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.62-69, 2014. ,
DOI : 10.1145/2647908.2655968
A test automation language framework for behavioral models, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2015. ,
DOI : 10.1109/ICSTW.2015.7107402
Model-based pairwise testing for feature interaction coverage in software product line engineering, Software Quality Journal, vol.82, issue.3-4, pp.567-604, 2011. ,
DOI : 10.1007/s11219-011-9165-4
Incremental Model-Based Testing of Delta-Oriented Software Product Lines, TAP, pp.67-82, 2012. ,
DOI : 10.1007/978-3-642-30473-6_7
Foundations of software testing, 2008. ,
Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp.1-10, 2015. ,
DOI : 10.1109/ICST.2015.7102588
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp.1-10, 2014. ,
DOI : 10.1109/ICST.2014.11
Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.82, issue.8, pp.605-643, 2011. ,
DOI : 10.1007/s11219-011-9160-9
URL : https://hal.archives-ouvertes.fr/hal-00805856
Mutation analysis testing for finite state machines, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering, pp.220-229, 1994. ,
DOI : 10.1109/ISSRE.1994.341378
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.55-62, 2012. ,
DOI : 10.1145/2110147.2110154
Model based testing with labelled transition systems. Formal methods and testing, pp.1-38, 2008. ,
DOI : 10.1007/978-3-540-78917-8_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.621