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.
- 7 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 2017
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
Modeling and Verification for Probabilistic Properties in Software Product Lines
Rodrigues, G. N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P. Y., Sharifloo, A. M. & Legay, A., 29 Jan 2015, Proceedings of IEEE International Symposium on High Assurance Systems Engineering. January ed. IEEE Computer Society Press, Vol. 2015. p. 173-180 8 p. 7027429Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Markov processes
Scalability
Availability
Monitoring
Experiments
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