Projects per year
Fingerprint Dive into the research topics where Axel Legay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 8 Similar Profiles
Model checking
Engineering & Materials Science
Explosions
Engineering & Materials Science
Testing
Engineering & Materials Science
Quality assurance
Engineering & Materials Science
Temporal logic
Engineering & Materials Science
Adaptive systems
Engineering & Materials Science
Specification languages
Engineering & Materials Science
Clocks
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2008 2013
- 2 Finished
VLPL: Software Product Lines Verification
Heymans, P., Schobbens, P., Classen, A., Cordy, M., Kang, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
1/10/08 → 1/10/11
Project: Research
Research Output 2010 2019
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)
Explosions
Statistical prioritization for software product line testing: an experience report
Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 Feb 2017, In : Software and Systems Modeling. 16, 1, p. 153-171 19 p.Research output: Contribution to journal › Article
Open Access
File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests
A primer on counterexample guided abstraction refinement of product-line behavioural models
Cordy, M., Dawagne, B., Heymans, P., Legay, A., Leucker, M. & Schobbens, P. Y., 2016, Software Engineering 2016. Gesellschaft fur Informatik (GI), Vol. P252. p. 79-80 2 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Explosions
Model checking
Experiments
Search-based Similarity-driven Behavioural SPL Testing
Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 Jan 2016, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador of Bahia, Brazil: ACM Press, p. 89-96 8 p. (VaMoS '16).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
Testing
Evolutionary algorithms
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment
Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 2015, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: ACM Press, Vol. 21-23-January-2015. p. 59:59-59:66 8 p. (VaMoS '15).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
Testing
Momentum
Thesis
Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of Sciences
File
Press / Media
14th international conference on runtime verification (RV 2014)
26/11/13
1 item of Media coverage
Press/Media: Expert Comment