Research output per year
Research output per year
Research output
Search results
-
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
File25 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
File126 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
File62 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
File259 Downloads (Pure)