• 877 Citations
  • 14 h-Index
20082019
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où Axel Legay est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 7 Profils similaires
Model checking Ingénierie et Science des Matériaux
Explosions Ingénierie et Science des Matériaux
Testing Ingénierie et Science des Matériaux
Quality assurance Ingénierie et Science des Matériaux
Temporal logic Ingénierie et Science des Matériaux
Adaptive systems Ingénierie et Science des Matériaux
Specification languages Ingénierie et Science des Matériaux
Clocks Ingénierie et Science des Matériaux

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 2008 2013

Résultat de recherche 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Explosions
87 Downloads (Pure)

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 févr. 2017, Dans : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Explosions
Model checking
Experiments
36 Downloads (Pure)

Search-based Similarity-driven Behavioural SPL Testing

Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 janv. 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
Evolutionary algorithms
173 Downloads (Pure)

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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
Momentum

Thèse

Behavioural model-based testing of software product lines

Auteur: Devroey, X., 30 août 2017

Superviseur: 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)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Presse/Médias

14th international conference on runtime verification (RV 2014)

Axel Legay

26/11/13

1 élément de Couverture média

Presse/Médias: Commentaire d'expert