On extracting feature models from product descriptions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.45-54 ,
DOI : 10.1145/2110147.2110153
URL : https://hal.archives-ouvertes.fr/hal-00718467
Killing strategies for model-based mutation testing, Software Testing, Verification and Reliability, vol.7942, issue.5, 2014. ,
DOI : 10.1002/stvr.1522
Improving Fault-based Conformance Testing, Electronic Notes in Theoretical Computer Science, vol.220, issue.1, pp.63-77, 2008. ,
DOI : 10.1016/j.entcs.2008.11.006
Establishing Theoretical Minimal Sets of Mutants, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp.21-30, 2014. ,
DOI : 10.1109/ICST.2014.13
Using model checking to generate tests from specifications, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241), pp.46-54, 1998. ,
DOI : 10.1109/ICFEM.1998.730569
A mutation model for the SystemC TLM 2.0 communication interfaces, DATE, pp.396-401, 2008. ,
Deriving configuration interfaces from feature models, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.37-44 ,
DOI : 10.1145/2110147.2110152
URL : https://hal.archives-ouvertes.fr/hal-00718286
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.391069-1089, 2013. ,
DOI : 10.1109/TSE.2012.86
Interaction testing of highly-configurable systems in the presence of constraints, Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, pp.129-139, 2007. ,
DOI : 10.1145/1273463.1273482
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
Simulation-based abstractions for software product-line model checking, 2012 34th International Conference on Software Engineering (ICSE), pp.672-682, 2012. ,
DOI : 10.1109/ICSE.2012.6227150
URL : https://hal.archives-ouvertes.fr/hal-01087659
Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991. ,
DOI : 10.1109/32.92910
Towards statistical prioritization for software product lines testing, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, pp.1-107, 2014. ,
DOI : 10.1145/2556624.2556635
URL : https://hal.archives-ouvertes.fr/hal-01092958
Proteum/FSM: a tool to support finite state machine validation based on mutation testing, Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society, pp.96-104, 1999. ,
DOI : 10.1109/SCCC.1999.810159
Mutation testing applied to validate specifications based on statecharts, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), pp.210-219, 1999. ,
DOI : 10.1109/ISSRE.1999.809326
Towards automated testing and fixing of re-engineered Feature Models, 2013 35th International Conference on Software Engineering (ICSE), pp.1245-1248, 2013. ,
DOI : 10.1109/ICSE.2013.6606689
Multi-objective test generation for software product lines, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.62-71, 2013. ,
DOI : 10.1145/2491627.2491635
MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language, Testing: Academic & Industrial Conference, Practice and Research Techniques (taic part 2008), pp.94-98, 2008. ,
DOI : 10.1109/TAIC-PART.2008.18
An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011. ,
DOI : 10.1109/TSE.2010.62
Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines, MoDELS, pp.269-284, 2012. ,
DOI : 10.1007/978-3-642-33666-9_18
Feature-Oriented domain analysis (FODA) feasibility study, Soft. Eng. Inst, 1990. ,
Toward variability-aware testing, Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD '12, pp.1-8, 2012. ,
DOI : 10.1145/2377816.2377817
Shared Execution for Efficiently Testing Product Lines, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, pp.221-230, 2012. ,
DOI : 10.1109/ISSRE.2012.23
Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.501-510, 2008. ,
DOI : 10.1145/1368088.1368157
Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation, IEEE Transactions on Software Engineering, vol.40, issue.1, pp.23-42, 2014. ,
DOI : 10.1109/TSE.2013.44
Exploring variability-aware execution for testing plugin-based web applications, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, 2014. ,
DOI : 10.1145/2568225.2568300
A mutation carol: Past, present and future, Information and Software Technology, vol.53, issue.10, pp.1098-1107, 2011. ,
DOI : 10.1016/j.infsof.2011.03.007
Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.82, issue.8, pp.3-4605, 2012. ,
DOI : 10.1007/s11219-011-9160-9
URL : https://hal.archives-ouvertes.fr/hal-00805856
Mutation analysis using mutant schemata, ISSTA, pp.139-148, 1993. ,