Zum Inhalt springen

  1. Cordy, Maxime [VerfasserIn] ; ACM Special Interest Group on Software Engineering, ACM SIGs

    Proceedings of the 6th International Workshop on Machine Learning Techniques for Software Quality Evaluation

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York,NY,United States: Association for Computing Machinery, 2022

    Erschienen in: ACM Conferences- ACM Digital Library

  2. Cordy, Maxime [VerfasserIn] ; Acher, Mathieu [MitwirkendeR]; Beuche, Danilo [MitwirkendeR]; Saake, Gunter [MitwirkendeR]

    Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York,NY,United States: Association for Computing Machinery, 2020

    Erschienen in: ACM Other conferences- ACM Digital Library

  3. Papadakis, Mike [HerausgeberIn]; Cordy, Maxime [HerausgeberIn] ; BENEVOL 19. 2020 Online

    BENEVOL 2020: Belgium-Netherlands Software Evolution Workshop : proceedings of the 19th Belgium-Netherlands Software Evolution Workshop : Luxembourg, Luxembourg, December 3-4, 2020

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Aachen, Germany]: [RWTH Aachen], 2021-07-18

    Erschienen in: CEUR workshop proceedings ; 2912

  4. Lazreg, Sami; Cordy, Maxime; Legay, Axel

    Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Nature Switzerland, 2022

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

  5. Cordy, Maxime; Papadakis, Mike; Legay, Axel

    Fundamental Approaches to Software Engineering: Statistical Model Checking for Variability-Intensive Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2020

    Erschienen in: Fundamental Approaches to Software Engineering

  6. Cordy, Maxime; Xie, Xiaofei; Xu, Bowen; Stamatia, Bibi

    MaLTeSQuE 2022 Workshop Summary

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2023

    Erschienen in: ACM SIGSOFT Software Engineering Notes

  7. Davril, Jean-Marc; Leclercq, Tony; Cordy, Maxime; Heymans, Patrick

    Natural Language Processing and Information Systems: Technical Aspect Extraction from Customer Reviews Based on Seeded Word Clustering

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2017

    Erschienen in: Natural Language Processing and Information Systems

  8. Hu, Qiang; Guo, Yuejun; Xie, Xiaofei; Cordy, Maxime; Ma, Lei; Papadakis, Mike; Le Traon, Yves

    Test Optimization in DNN Testing: A Survey

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2024

    Erschienen in: ACM Transactions on Software Engineering and Methodology

  9. Khanfir, Ahmed; Koyuncu, Anil; Papadakis, Mike; Cordy, Maxime; Bissyandé, Tegawende F.; Klein, Jacques; Le Traon, Yves

    iBiR : Bug-report-driven Fault Injection

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2023

    Erschienen in: ACM Transactions on Software Engineering and Methodology

  10. Carvalho, Luiz; Degiovanni, Renzo; Brizzio, Matías; Cordy, Maxime; Aguirre, Nazareno; Traon, Yves Le; Papadakis, Mike

    Fundamental Approaches to Software Engineering: ACoRe: Automated Goal-Conflict Resolution

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Nature Switzerland, 2023

    Erschienen in: Fundamental Approaches to Software Engineering