Model-Based Testing

Featured Transition Systems

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

Xavier Devroey

• Jan 1, 2015 • 1 min read

Towards Statistical Prioritization for Software Product Lines Testing

Xavier Devroey

• Jan 1, 2014 • 1 min read

Coverage Criteria

Coverage Criteria for Behavioural Testing of Software Product Lines

Xavier Devroey

• Jan 1, 2014 • 1 min read

Software Product Line

Abstract Test Case Generation for Behavioural Testing of Software Product Lines

Xavier Devroey

• Jan 1, 2014 • 1 min read

Model-Based Testing

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

Xavier Devroey

• Jan 1, 2012 • 1 min read