Résultat de recherche par an
Résultat de recherche par an
Détails du projet
Description
{description_courte}
| Acronyme | Thesis-X-Devroey |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/09/11 → 30/08/17 |
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
Résultat de recherche
-
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs) › Revue par des pairs
Accès ouvertFile83 Téléchargements (Pure) -
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., 15 mai 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile40 Téléchargements (Pure) -
On Featured Transition Systems
Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., janv. 2017, SOFSEM 2017: Theory and Practice of Computer Science: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10139 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
File47 Téléchargements (Pure)
Activités
-
Tutorial: Testing Variability-intensive Systems
Gilles Perrouin (Orateur), Xavier Devroey (Orateur) & Maxime Cordy (Orateur)
26 sept. 2017Activité: Discours ou présentation › Discours invité
-
13th Workshop on Advances in Model Based Testing (A-MOST '17)
Paolo Arcaini (Organisateur), Xavier Devroey (Organisateur) & Shuai Wang (Organisateur)
17 mars 2017Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Xavier Devroey (Conférencier)
13 mars 2017 → 18 mars 2017Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
Thèses de l'étudiant
-
Behavioural model-based testing of software product lines
Auteur: Devroey, X., 30 août 2017Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier
Ensembles de données
-
VIBeS Case Studies: Featured Transition Systems and Feature Models
Devroey, X. (Créateur), University of Namur, oct. 2020
Ensemble de données