Research Output per year
Research Output
2013
Towards Statistical Prioritization for Software Product Lines Testing
Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 9 Oct 2013, Arxiv.Research output: Other contribution
File
21
Downloads
(Pure)
Verification for Reliable Product Lines
Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013Research output: Other contribution
2012
Model Checking for Software Product Lines with SNIP
Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P-Y., 2012Research output: Other contribution
File
119
Downloads
(Pure)
Modelling and Model Checking Variability-Intensive Systems with Featured Transition Systems (submitted)
Classen, A., Heymans, P., Schobbens, P-Y., Cordy, M., Legay, A. & Raskin, J-F., 2012, (Unpublished)Research output: Other contribution
2011
Simulation-Based Abstractions for Software Product-Line Model Checking
Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2011Research output: Other contribution
File
63
Downloads
(Pure)
SNIP: An Efficient Model Checker for Software Product Lines
Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 2011Research output: Other contribution
File
259
Downloads
(Pure)