Gilles Perrouin

Proceedings of the Software Architecture - 15th European Conference, 2021

A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper).

[BibT_eX]

[DOI]

Edilton Lima dos Santos

Sophie Fortz

Francesca Arcelli Fontana

Proceedings of the ECSA 2021 Companion Volume, 2021

2020

Search-based crash reproduction using behavioural model seeding.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

MALTESQUE 2019 Workshop Summary.

[BibT_eX]

[DOI]

Apostolos Ampatzoglou

ACM SIGSOFT Softw. Eng. Notes, 2020

STARS: software technology for adaptable and reusable systems PhD research project.

[BibT_eX]

[DOI]

Edilton Lima dos Santos

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

An SMT-Based Concolic Testing Tool for Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Editorial to the theme section on model-based testing.

[BibT_eX]

[DOI]

Mike Papadakis

Shaukat Ali

Softw. Syst. Model., 2019

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

Search-based Crash Reproduction using Behavioral Model Seeding.

[BibT_eX]

[DOI]

CoRR, 2019

Preface to the Thirteenth Workshop on Variability Modelling of Software-intensive Systems.

[BibT_eX]

[DOI]

Danny Weyns

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Towards quality assurance of software product lines with adversarial configurations.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

AbsCon: A Test Concretizer for Model-Based Testing.

[BibT_eX]

[DOI]

Jeremy Vanhecke

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

A Decade of Featured Transition Systems.

[BibT_eX]

[DOI]

Jean-François Raskin

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Model-based mutant equivalence detection using automata language equivalence and simulations.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda.

[BibT_eX]

[DOI]

James Jerson Ortiz Vega

Moussa Amrani

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

Feature-Based Elicitation of Cognitively Efficient Visualizations for SPL Configurations.

[BibT_eX]

[DOI]

Céline Sauvage-Thomase

Proceedings of the Human Centered Software Product Lines, 2017

Engineering Configuration Graphical User Interfaces from Variability Models.

[BibT_eX]

[DOI]

Proceedings of the Human Centered Software Product Lines, 2017

Statistical prioritization for software product line testing: an experience report.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Test them all, is it worth it? A ground truth comparison of configuration sampling strategies.

[BibT_eX]

[DOI]

CoRR, 2017

On quantitative requirements for product lines.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Yo variability! JHipster: a playground for web-apps analyses.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Testing Variability-Intensive Systems.

[BibT_eX]

[DOI]

Maxime Cordy

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

On Featured Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Towards Security-Aware Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Variability and Complexity in Software Design: Towards a Research Agenda.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Search-based Similarity-driven Behavioural SPL Testing.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

A complexity tale: web configurators.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, 2016

Featured model types: towards systematic reuse in modelling language engineering.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Featured model-based mutation analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Unlocking Visual Understanding: Towards Effective Keys for Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

2015

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

SPLat 2015: Second International Workshop on Software Product Line Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Poster: VIBeS, Transition System Mutation Made Easy.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

State Machine Flattening: Mapping Study and Assessment.

[BibT_eX]

[DOI]

CoRR, 2014

Towards statistical prioritization for software product lines testing.

[BibT_eX]

[DOI]

Maxime Cordy

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Abstract test case generation for behavioural testing of software product lines.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

A variability perspective of mutation analysis.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Coverage Criteria for Behavioural Testing of Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

PLEDGE: a product line editor and test generation tool.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Multi-objective test generation for software product lines.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference, 2013

Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Towards automated testing and fixing of re-engineered feature models.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Model-Based Verification of Energy-Aware Real-Time Automotive Systems.

[BibT_eX]

[DOI]

Eun-Young Kang

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

Pairwise testing for software product lines: comparison of two approaches.

[BibT_eX]

[DOI]

Softw. Qual. J., 2012

Weaving variability into domain metamodels.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines

[BibT_eX]

[DOI]

CoRR, 2012

Deriving configuration interfaces from feature models: a vision paper.

[BibT_eX]

[DOI]

Quentin Boucher

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

On extracting feature models from product descriptions.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach.

[BibT_eX]

[DOI]

Eun-Young Kang

Proceedings of the 2012 12th International Conference on Quality Software, 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.

[BibT_eX]

[DOI]

Benoit Baudry

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Towards flexible evolution of Dynamically Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Simulation-based abstractions for software product-line model checking.

[BibT_eX]

[DOI]

Maxime Cordy

Andreas Classen

Proceedings of the 34th International Conference on Software Engineering, 2012

Towards more reliable configurators: a re-engineering perspective.

[BibT_eX]

[DOI]

Quentin Boucher

Ebrahim Khalil Abbasi

Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

Towards Configurable ISO/IEC 29110-Compliant Software Development Processes for Very Small Entities.

[BibT_eX]

[DOI]

Quentin Boucher

Jean-Christophe Deprez

Proceedings of the Systems, Software and Services Process Improvement, 2012

2011

VAST 2011 workshop summary.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

2010

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2009

Dynamic Software Product Lines for Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Computer and Information Technology, 2009

2008

Vers des lignes de produits flexibles. Apports de l'ingénierie dirigée par les modèles à la dérivation de produits.

[BibT_eX]

[DOI]

Jean-Marc Jézéquel

Obj. Logiciel Base données Réseaux, 2008

Reconciling Automation and Flexibility in Product Derivation.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Modeling the Variability Space of Self-Adaptive Applications.

[BibT_eX]

Proceedings of the Software Product Lines, 12th International Conference, 2008

2007

Architecting software systems using model transformations and architectural frameworks

[BibT_eX]

[DOI]

PhD thesis, 2007

A Flexible Requirements Analysis Approach for Software Product Lines.

[BibT_eX]

[DOI]

Nicolas Guelfi

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

2004

Evolution Through Architectural Reconciliation.

[BibT_eX]

[DOI]

Paris Avgeriou

Nicolas Guelfi