Résultat de recherche par an
Résultat de recherche par an
Résultat de recherche
Résultats de recherche
-
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.Résultats de recherche: Autre contribution
File54 Téléchargements (Pure) -
Verification for Reliable Product Lines
Cordy, M., Heymans, P., Schobbens, P.-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013Résultats de recherche: Autre contribution
-
2012
Model Checking for Software Product Lines with SNIP
Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P.-Y., 2012Résultats de recherche: Autre contribution
File235 Téléchargements (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, (Non publié)Résultats de recherche: Autre contribution
-
2011
Simulation-Based Abstractions for Software Product-Line Model Checking
Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P.-Y. & Legay, A., 2011Résultats de recherche: Autre contribution
File118 Téléchargements (Pure) -
SNIP: An Efficient Model Checker for Software Product Lines
Classen, A., Cordy, M., Heymans, P., Schobbens, P.-Y. & Legay, A., 2011Résultats de recherche: Autre contribution
File295 Téléchargements (Pure)