Behavioural Model Based Testing of Software Product Lines

Research Output

On Featured Transition Systems

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

State machine flattening, a mapping study and tools assessment

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Coverage criteria for behavioural testing of software product lines

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

A Variability Perspective of Mutation Analysis

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Featured Model-based Mutation Analysis

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

A Decade of Featured Transition Systems

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)

Towards Statistical Prioritization for Software Product Lines Testing

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Poster: VIBeS, Transition System Mutation Made Easy

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Statistical prioritization for software product line testing: an experience report

Research output: Contribution to journal › Article

Yo Variability! JHipster: A Playground for Web-Apps Analyses

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Abstract test case generation for behavioural testing of software product lines

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Search-based Similarity-driven Behavioural SPL Testing

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Towards Security-aware Mutation Testing

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

YAMI: Yet Another Model Inference tool

Research output: Non-textual form › Software

State Machine Flattening: Mapping Study and Assessment

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Behavioural Model-Driven Validation of Software Product Lines

Research output: Contribution to conference › Poster

A vision for behavioural model-driven validation of software product lines

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

VIBeS: Variability Intensive system Behavioural teSting

Research output: Non-textual form › Software

Poster: Behavioral Model-Based Testing of Variability Intensive Systems

Research output: Contribution to conference › Poster

Behavioural Model Based Testing of Software Product Lines: Research Abstract

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)

Testing Variability-Intensive Systems

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Activities

37th International Conference on Software Engineering (ICSE 2015)

Activity: Participating in or organising an event types › Participation in conference

Journée des Doctorants en Informatique 2015

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

38th International Conference on Software Engineering

Activity: Participating in or organising an event types › Participation in conference

The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)

Activity: Participating in or organising an event types › Participation in conference

4th International Workshop on Games and Software Engineering (GAS'15)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Journée Ligne de Produits '14

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

12th International Workshop on Mutation Analysis (Mutation 2017)

Activity: Participating in or organising an event types › Participation in conference

11th International Workshop on Variability Modelling of Software-intensive Systems

Activity: Participating in or organising an event types › Participation in conference

TAROT 2013 - 9th International Summer School on Training And Research On Testing

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Activity: Participating in or organising an event types › Participation in conference

8th IEEE International Conference on Software Testing, Verification and Validation (ICST '15)

Activity: Participating in or organising an event types › Participation in conference

9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)

Activity: Participating in or organising an event types › Participation in conference

18th International Software Product Lines Conference (SPLC'14)

Activity: Participating in or organising an event types › Participation in conference

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

Activity: Participating in or organising an event types › Participation in conference

Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013)

Activity: Participating in or organising an event types › Participation in conference

1st Workshop on Software Product Line Analysis Tools (SPLat'14)

Activity: Participating in or organising an event types › Participation in conference

Second PReCISE Research Day

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

The 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '14)

Activity: Participating in or organising an event types › Participation in conference

Journée Ligne de Produits '12

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

GRASCOMP Doctoral Day

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

The International Symposium on Software Testing and Analysis (ISSTA'16)

Activity: Participating in or organising an event types › Participation in conference

9th Workshop on Advances in Model Based Testing (A-MOST 2013)

Activity: Participating in or organising an event types › Participation in conference

11th Workshop on Advances in Model Based Testing (A-MOST '15)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Journée des Doctorants en Informatique 2015

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

13th Workshop on Advances in Model Based Testing (A-MOST '17)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '14)

Activity: Participating in or organising an event types › Participation in conference

Chaire Francqui 2012-2013: "Le web de demain" par le Professeur Serge Abiteboul

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

9th International Workshop on Search-Based Software Testing

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

10th International Workshop on Mutation Analysis (Mutation '15)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Journée des Doctorants en Informatique 2015

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day