Xavier Devroey
Open Menu
Close Menu
Home
Publications
Courses
SNAIL team
ESC
All Results
Searching...
No results found
Clear search
↑↓
Navigate
↵
Select
Powered by Hugo Blox
Model-Checking
Model-Based Testing
A Decade of Featured Transition Systems
Maxime Cordy
•
Oct 1, 2019
•
1 min read
Read more
Model-Based Testing
A Vision for Behavioural Model-Driven Validation of Software Product Lines
Xavier Devroey
•
Jan 1, 2012
•
1 min read
Read more
