Description
| Acronym | Thesis-X-Devroey |
|---|---|
| Status | Finished |
| Effective start/end date | 1/09/11 → 30/08/17 |
Related content
Activities
9th Workshop on Advances in Model Based Testing (A-MOST 2013)
Activity: Participating in or organising an event types › Participation in conference
The International Symposium on Software Testing and Analysis (ISSTA'16)
Activity: Participating in or organising an event types › Participation in conference
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '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
Journée Ligne de Produits '14
Activity: Participating in or organising an event types › Participation to a Symposium, a study Day
11th International Workshop on Variability Modelling of Software-intensive Systems
Activity: Participating in or organising an event types › Participation in conference
12th International Workshop on Mutation Analysis (Mutation 2017)
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
The 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '14)
Activity: Participating in or organising an event types › Participation in conference
9th International Workshop on Search-Based Software 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
Journée des Doctorants en Informatique 2015
Activity: Participating in or organising an event types › Participation to a Symposium, a study Day
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 Ligne de Produits '12
Activity: Participating in or organising an event types › Participation to a Symposium, a study Day
8th IEEE International Conference on Software Testing, Verification and Validation (ICST '15)
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
13th Workshop on Advances in Model Based Testing (A-MOST '17)
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
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
10th International Workshop on Mutation Analysis (Mutation '15)
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013)
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
37th International Conference on Software Engineering (ICSE 2015)
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
9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)
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
GRASCOMP Doctoral Day
Activity: Participating in or organising an event types › Participation to a Symposium, a study Day
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
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Activity: Participating in or organising an event types › Participation in conference
38th International Conference on Software Engineering
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
Research Output
Coverage criteria for behavioural testing of software product lines
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
On Featured Transition Systems
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
State machine flattening, a mapping study and tools assessment
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 Decade of Featured Transition Systems
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
State Machine Flattening: Mapping Study and Assessment
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Testing Variability-Intensive Systems
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
A vision for behavioural model-driven validation of software product lines
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Behavioural Model Based Testing of Software Product Lines: Research Abstract
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)
VIBeS: Variability Intensive system Behavioural teSting
Research output: Non-textual form › Software
Yo Variability! JHipster: A Playground for Web-Apps Analyses
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
Abstract test case generation for behavioural testing of software product lines
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
Poster: Behavioral Model-Based Testing of Variability Intensive Systems
Research output: Contribution to conference › Poster
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
YAMI: Yet Another Model Inference tool
Research output: Non-textual form › Software
Statistical prioritization for software product line testing: an experience report
Research output: Contribution to journal › Article
Behavioural Model-Driven Validation of Software Product Lines
Research output: Contribution to conference › Poster