Maxime Cordy

• Colaboraciones en obras colectivas (5)

• Colaboraciones en obras colectivas

  • Seleccionado

    GraphCode2Vec: generic code embedding via lexical and program dependence analyses

    Wei Ma, Mengjie Zhao, Ezekiel Soremekun, Qiang Hu, Jie Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon

    The 2022 Mining Software Repositories Conference: MSR 2022 : 18-20 May 2022, Virtual23-24 May 2022, Pittsburgh, Pennsylvania : Proceedings, 2022, ISBN 978-1-4503-9303-4, págs. 524-536

    
  • Seleccionado

    Towards Statistical Prioritization for Software Products Lines Testing

    Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans

    The Eight International Workshop on Variability Modelling of Software-Intensive Systems / coord. por Andrzej Wasowski, Philippe Collet, Thorsten Weyer, 2014, ISBN 9781450325561, págs. 10-11

    
  • Seleccionado

    Behavioural modelling and verification of real-time software product lines

    Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

    16th International Software Product Line Conference, SPLC´12 / coord. por Eduardo Santana de Almeida, Christa Schwanninger, David Benavides , Vol. 1, 2012, ISBN 9781450310949, págs. 66-75

    
  • Seleccionado

    Towards an incremental automata-based approach for software product-line model checking

    Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

    16th International Software Product Line Conference, SPLC´12 / coord. por Eduardo Santana de Almeida, Christa Schwanninger, David Benavides , Vol. 2, 2012, ISBN 9781450310956, págs. 74-81

    
  • Seleccionado

    Managing Evolution in Software Product Lines: A Model-Checking Perspective

    Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

    Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems / coord. por Ulrich Eisenecker, Sven Apel, Stefania Gnesi , 2012, ISBN 9781450310581, págs. 183-191

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.