Project Details
Description
| Acronym | Thesis-X-Devroey |
|---|---|
| Status | Finished |
| Effective start/end date | 1/09/11 → 30/08/17 |
Fingerprint
-
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile161 Downloads (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 May 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile63 Downloads (Pure) -
On Featured Transition Systems
Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P.-Y. & Heymans, P., Jan 2017, SOFSEM 2017: 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File89 Downloads (Pure)
Activities
-
Tutorial: Testing Variability-intensive Systems
Perrouin, G. (Speaker), Devroey, X. (Speaker) & Cordy, M. (Speaker)
26 Sept 2017Activity: Talk or presentation types › Invited talk
-
13th Workshop on Advances in Model Based Testing (A-MOST '17)
Arcaini, P. (Organiser), Devroey, X. (Organiser) & Wang, S. (Organiser)
17 Mar 2017Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Devroey, X. (Speaker)
13 Mar 2017 → 18 Mar 2017Activity: Participating in or organising an event types › Participation in conference
Student theses
-
Behavioural model-based testing of software product lines
Devroey, X. (Author), Schobbens, P.-Y. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (Jury), Cohen, M. B. (Jury), Legay, A. (Jury) & Perrouin, G. (Jury), 30 Aug 2017Student thesis: Doc types › Doctor of Sciences
File
Datasets
-
VIBeS Case Studies: Featured Transition Systems and Feature Models
DEVROEY, X. (Creator), University of Namur, Oct 2020
Dataset