Model-Based Testing

Model-Based Testing

A Decade of Featured Transition Systems

Maxime Cordy

• Oct 1, 2019 • 1 min read

Model-Based Testing

AbsCon : A Test Concretizer for Model-based Testing

Jeremy Vanhecke

• Jan 1, 2019 • 1 min read

Model-Based Testing

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

Xavier Devroey

• Jul 1, 2018 • 1 min read

Statistical prioritization for software product line testing: an experience report

Xavier Devroey

• Feb 1, 2017 • 1 min read

Featured Transition Systems

On Featured Transition Systems

Axel Legay

• Jan 1, 2017 • 1 min read

Software Product Line

Behavioural model-based testing of software product lines

Xavier Devroey

• Jan 1, 2017 • 1 min read

Model-Based Testing

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

Xavier Devroey

• Jan 1, 2017 • 1 min read

Featured Transition Systems

Featured model-based mutation analysis

Xavier Devroey

• May 1, 2016 • 1 min read

Software Product Line

Search-based Similarity-driven Behavioural SPL Testing

Xavier Devroey

• Jan 1, 2016 • 1 min read

Software Product Line

Poster : VIBeS , Transition System Mutation Made Easy

Xavier Devroey

• Jan 1, 2015 • 1 min read