Maxime Cordy

Maxime Cordy

Université du Luxembourg - Esch-sur-Alzette / Luxembourg
Engineering & Technology / Computer Science
AD Scientific Index ID: 1808632
University of Luxembourg Universität Luxemburg
person_outline Maxime Cordy's MOST POPULAR ARTICLES
1-) Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checkingA Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF RaskinIEEE Transactions on Software Engineering 39 (8), 1069-1089, 20122772012
2-) Model checking software product lines with SNIPA Classen, M Cordy, P Heymans, A Legay, PY SchobbensInternational Journal on Software Tools for Technology Transfer 14, 589-612, 20121352012
3-) Beyond boolean product-line model checking: dealing with feature attributes and multi-featuresM Cordy, PY Schobbens, P Heymans, A Legay2013 35th International Conference on Software Engineering (ICSE), 472-481, 20131332013
4-) ProVeLines: a product line of verifiers for software product linesM Cordy, A Classen, P Heymans, PY Schobbens, A LegayProceedings of the 17th International Software Product Line Conference co …, 20131042013
5-) Test selection for deep learning systemsW Ma, M Papadakis, A Tsakmalis, M Cordy, YL TraonACM Transactions on Software Engineering and Methodology (TOSEM) 30 (2), 1-22, 20211012021