Xavier Devroey
Open Menu
Close Menu
Home
Publications
Courses
SNAIL team
Paper-Conference
Abstract Test Case Generation for Behavioural Testing of Software Product Lines
Jan 1, 2014
A Variability Perspective of Mutation Analysis
Jan 1, 2014
A Vision for Behavioural Model-Driven Validation of Software Product Lines
Jan 1, 2012
Generating High-Level Event-B System Models from KAOS Requirements Models
Jan 1, 2011
« Previous