Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaxime Cordy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j20]Yuejun Guo
, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon:
DRE: density-based data selection with entropy for adversarial-robust deep learning models. Neural Comput. Appl. 35(5): 4009-4026 (2023)- [j19]Mathieu Acher, Gilles Perrouin, Maxime Cordy:
BURST: Benchmarking uniform random sampling techniques. Sci. Comput. Program. 226: 102914 (2023) - [j18]Maxime Cordy, Xiaofei Xie, Bowen Xu, Bibi Stamatia:
MaLTeSQuE 2022 Workshop Summary. ACM SIGSOFT Softw. Eng. Notes 48(1): 95-96 (2023) - [j17]Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon:
iBiR: Bug-report-driven Fault Injection. ACM Trans. Softw. Eng. Methodol. 32(2): 33:1-33:31 (2023) - [c83]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
On Evaluating Adversarial Robustness of Chest X-ray Classification. SafeAI@AAAI 2023 - [c82]Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy:
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. ACL (1) 2023: 8822-8836 - [c81]Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon:
Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment. CAIN 2023: 56-67 - [c80]Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis:
ACoRe: Automated Goal-Conflict Resolution. FASE 2023: 3-25 - [c79]Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni:
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO 2023: 1499-1507 - [c78]Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon:
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. ICML 2023: 11255-11282 - [c77]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon:
CodeS: Towards Code Model Generalization Under Distribution Shift. ICSE (NIER) 2023: 1-6 - [c76]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon:
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. ICSE 2023: 1776-1787 - [c75]Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens:
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW 2023: 52-61 - [c74]Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon:
Enabling Efficient Assertion Inference. ISSRE 2023: 623-634 - [c73]Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon:
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. ASE 2023: 1708-1712 - [c72]Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens:
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106 - [c71]Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy:
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. SP 2023: 1384-1400 - [c70]Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay:
Family-based model checking of fMultiLTL properties. SPLC (A) 2023: 41-51 - [c69]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Zhenya Zhang, Yves Le Traon, Jianjun Zhao:
MixCode: Enhancing Code Classification by Mixup-Based Data Augmentation. SANER 2023: 379-390 - [i44]Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon:
Assertion Inferring Mutants. CoRR abs/2301.12284 (2023) - [i43]Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon:
GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. CoRR abs/2302.02907 (2023) - [i42]Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon:
The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI. CoRR abs/2302.10594 (2023) - [i41]Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis:
ACoRe: Automated Goal-Conflict Resolution. CoRR abs/2303.05213 (2023) - [i40]Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Boosting Source Code Learning with Data Augmentation: An Empirical Study. CoRR abs/2303.06808 (2023) - [i39]Martin Gubri, Maxime Cordy, Yves Le Traon:
Going Further: Flatness at the Rescue of Early Stopping for Adversarial Example Transferability. CoRR abs/2304.02688 (2023) - [i38]Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy:
How do humans perceive adversarial text? A reality check on the validity and naturalness of word-based adversarial attacks. CoRR abs/2305.15587 (2023) - [i37]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon:
Active Code Learning: Benchmarking Sample-Efficient Training of Code Models. CoRR abs/2306.01250 (2023) - [i36]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Wei Ma, Mike Papadakis, Yves Le Traon:
Evaluating the Robustness of Test Selection Methods for Deep Neural Networks. CoRR abs/2308.01314 (2023) - [i35]Salah Ghamizi, Maxime Cordy, Yuejun Guo, Mike Papadakis, Yves Le Traon:
Hazards in Deep Learning Testing: Prevalence, Impact and Recommendations. CoRR abs/2309.05381 (2023) - [i34]Thibault Simonetto, Salah Ghamizi, Antoine Desjardins, Maxime Cordy, Yves Le Traon:
Constrained Adaptive Attacks: Realistic Evaluation of Adversarial Examples and Robust Training of Deep Neural Networks for Tabular Data. CoRR abs/2311.04503 (2023) - 2022
- [j16]Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay:
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27(7): 160 (2022) - [j15]Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Learning from what we know: How to perform vulnerability prediction using noisy historical data. Empir. Softw. Eng. 27(7): 169 (2022) - [j14]Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon:
A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty. Int. Trans. Oper. Res. 29(4): 2172-2200 (2022) - [j13]Marcelo Luis Ruiz Rodríguez, Sylvain Kubler, Andrea de Giorgio, Maxime Cordy, Jérémy Robert, Yves Le Traon:
Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines. Robotics Comput. Integr. Manuf. 78: 102406 (2022) - [j12]Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Lei Ma, Mike Papadakis, Yves Le Traon:
An Empirical Study on Data Distribution-Aware Test Selection for Deep Learning Enhancement. ACM Trans. Softw. Eng. Methodol. 31(4): 78:1-78:30 (2022) - [c68]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. AAAI 2022: 697-705 - [c67]Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Robust active learning: sample-efficient training of robust deep learning models. CAIN 2022: 41-42 - [c66]Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon:
Influence-driven data poisoning in graph-based semi-supervised classifiers. CAIN 2022: 77-87 - [c65]Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay:
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop 2022 - [c64]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. ECCV (4) 2022: 603-618 - [c63]Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. ICSE 2022: 982-994 - [c62]Sarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon:
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. ICSME 2022: 352-363 - [c61]Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon:
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. ICST 2022: 244-255 - [c60]Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon:
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. IJCAI 2022: 1313-1319 - [c59]Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay:
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) 2022: 279-298 - [c58]Sami Lazreg, Maxime Cordy, Axel Legay:
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) 2022: 448-471 - [c57]Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon:
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. MSR 2022: 524-536 - [c56]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
Efficient and transferable adversarial examples from bayesian neural networks. UAI 2022: 738-748 - [c55]Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein, Maxime Cordy:
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. VaMoS 2022: 4:1-4:10 - [e5]Maxime Cordy, Xiaofei Xie, Bowen Xu, Bibi Stamatia:
Proceedings of the 6th International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2022, Singapore, Singapore, 18 November 2022. ACM 2022, ISBN 978-1-4503-9456-7 [contents] - [i33]Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy:
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. CoRR abs/2202.03277 (2022) - [i32]Yuejun Guo, Qiang Hu, Maxime Cordy, Xiaofei Xie, Mike Papadakis, Yves Le Traon:
Labeling-Free Comparison Testing of Deep Learning Models. CoRR abs/2204.03994 (2022) - [i31]Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon:
Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment. CoRR abs/2204.04220 (2022) - [i30]Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Software Fairness: An Analysis and Survey. CoRR abs/2205.08809 (2022) - [i29]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon:
CodeS: A Distribution Shift Benchmark Dataset for Source Code Learning. CoRR abs/2206.05480 (2022) - [i28]Sarra Habchi, Guillaume Haben, Jeongju Sohn, Adriano Franci, Mike Papadakis, Maxime Cordy, Yves Le Traon:
What Made This Test Flake? Pinpointing Classes Responsible for Test Flakiness. CoRR abs/2207.10143 (2022) - [i27]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon:
Efficient Testing of Deep Neural Networks via Decision Boundary Analysis. CoRR abs/2207.10942 (2022) - [i26]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. CoRR abs/2207.13129 (2022) - [i25]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Enhancing Code Classification by Mixup-Based Data Augmentation. CoRR abs/2210.03003 (2022) - [i24]Zeming Dong, Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Enhancing Mixup-Based Graph Learning for Language Processing via Hybrid Pooling. CoRR abs/2210.03123 (2022) - [i23]Salah Ghamizi, Maxime Cordy, Michail Papadakis, Yves Le Traon:
On Evaluating Adversarial Robustness of Chest X-ray Classification: Pitfalls and Best Practices. CoRR abs/2212.08130 (2022) - 2021
- [j11]Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay:
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. 33(6): 1147-1172 (2021) - [j10]Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon:
Test Selection for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. 30(2): 13:1-13:22 (2021) - [j9]Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Killing Stubborn Mutants with Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 30(2): 19:1-19:23 (2021) - [j8]Thiago M. Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi:
A Formal Framework of Software Product Line Analyses. ACM Trans. Softw. Eng. Methodol. 30(3): 34:1-34:37 (2021) - [c54]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Evasion Attack STeganography: Turning Vulnerability Of Machine Learning To Adversarial Attacks Into A Real-world Application. ICCVW 2021: 31-40 - [c53]Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon:
Towards Exploring the Limitations of Active Learning: An Empirical Study. ASE 2021: 917-929 - [c52]Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon:
A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. MSR 2021: 219-229 - [c51]Mathieu Acher, Gilles Perrouin, Maxime Cordy:
BURST: a benchmarking platform for uniform random sampling techniques. SPLC (B) 2021: 36-40 - [e4]Mike Papadakis, Maxime Cordy:
Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop, BENEVOL 2020, Luxembourg, December 3-4, 2020. CEUR Workshop Proceedings 2912, CEUR-WS.org 2021 [contents] - [i22]Sarra Habchi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
On the Use of Mutation in Injecting Test Order-Dependency. CoRR abs/2104.07441 (2021) - [i21]Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre:
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. CoRR abs/2105.12595 (2021) - [i20]Yuejun Guo, Qiang Hu, Maxime Cordy, Michail Papadakis, Yves Le Traon:
MUTEN: Boosting Gradient-Based Adversarial Attacks via Mutant-Based Ensembles. CoRR abs/2109.12838 (2021) - [i19]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. CoRR abs/2110.15053 (2021) - [i18]Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Discerning Legitimate Failures From False Alerts: A Study of Chromium's Continuous Integration. CoRR abs/2111.03382 (2021) - [i17]Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon:
A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. CoRR abs/2112.01156 (2021) - [i16]Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon:
GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. CoRR abs/2112.01218 (2021) - [i15]Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Robust Active Learning: Sample-Efficient Training of Robust Deep Learning Models. CoRR abs/2112.02542 (2021) - [i14]Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon:
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. CoRR abs/2112.04919 (2021) - 2020
- [j7]Francesca Arcelli Fontana, Gilles Perrouin, Apostolos Ampatzoglou, Mathieu Acher, Bartosz Walter, Maxime Cordy, Fabio Palomba, Xavier Devroey:
MALTESQUE 2019 Workshop Summary. ACM SIGSOFT Softw. Eng. Notes 45(1): 34-35 (2020) - [c50]Maxime Cordy, Mike Papadakis, Axel Legay:
Statistical Model Checking for Variability-Intensive Systems. FASE 2020: 294-314 - [c49]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
FeatureNET: diversity-driven generation of deep learning models. ICSE (Companion Volume) 2020: 41-44 - [c48]Salah Ghamizi, Renaud Rwemalika, Maxime Cordy, Lisa Veiber, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon:
Data-driven Simulation and Optimization for Covid-19 Exit Strategies. KDD 2020: 3434-3442 - [c47]Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon:
Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach. OLA 2020: 269-281 - [c46]Salah Ghamizi, Maxime Cordy, Martin Gubri, Mike Papadakis, Andrey Boytsov, Yves Le Traon, Anne Goujon:
Search-based adversarial testing and improvement of constrained credit scoring systems. ESEC/SIGSOFT FSE 2020: 1089-1100 - [c45]Ludovic Mouline, Maxime Cordy, Yves Le Traon:
Load approximation for uncertain topologies in the low-voltage grid. SmartGridComm 2020: 1-6 - [c44]Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay:
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) 2020: 30:1-30:11 - [e3]Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake:
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020. ACM 2020, ISBN 978-1-4503-7501-6 [contents] - [i13]Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Killing Stubborn Mutants with Symbolic Execution. CoRR abs/2001.02941 (2020) - [i12]Salah Ghamizi, Renaud Rwemalika, Lisa Veiber, Maxime Cordy, Tegawendé F. Bissyandé, Mike Papadakis, Jacques Klein, Yves Le Traon:
Data-driven Simulation and Optimization for Covid-19 Exit Strategies. CoRR abs/2006.07087 (2020) - [i11]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks. CoRR abs/2011.05074 (2020) - [i10]Ahmed Khanfir, Anil Koyuncu, Mike Papadakis, Maxime Cordy, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon:
IBIR: Bug Report driven Fault Injection. CoRR abs/2012.06506 (2020) - [i9]Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon:
Effective and Efficient Data Poisoning in Semi-Supervised Learning. CoRR abs/2012.07381 (2020) - [i8]Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach. CoRR abs/2012.11701 (2020)
2010 – 2019
- 2019
- [j6]Maxime Cordy, Axel Legay:
Verification and abstraction of real-time variability-intensive systems. Int. J. Softw. Tools Technol. Transf. 21(6): 635-649 (2019) - [c43]Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312 - [c42]Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet:
Towards sampling and simulation-based analysis of featured weighted automata. FormaliSE@ICSE 2019: 61-64 - [c41]Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser:
Multifaceted automated analyses for variability-intensive embedded systems. ICSE 2019: 854-865 - [c40]Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy:
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet? ICST 2019: 240-251 - [c39]Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon:
Search-based test and improvement of machine-learning-based anomaly detection systems. ISSTA 2019: 158-168 - [c38]Pierre-André Patout, Maxime Cordy:
Towards context-aware automated writing evaluation systems. EASEAI@ESEC/SIGSOFT FSE 2019: 17-20 - [c37]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Automated search for configurations of convolutional neural network architectures. SPLC (A) 2019: 21:1-21:12 - [c36]Maxime Cordy, Sami Lazreg:
Automated evaluation of embedded-system design alternatives. SPLC (A) 2019: 52:1 - [c35]Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel:
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction. VaMoS 2019: 7:1-7:9 - [e2]Francesca Arcelli Fontana, Bartosz Walter, Apostolos Ampatzoglou, Fabio Palomba, Gilles Perrouin, Mathieu Acher, Maxime Cordy, Xavier Devroey:
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 27, 2019. ACM 2019, ISBN 978-1-4503-6855-1 [contents] - [i7]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Automated Search for Configurations of Deep Neural Network Architectures. CoRR abs/1904.04612 (2019) - [i6]Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon:
Test Selection for Deep Learning Systems. CoRR abs/1904.13195 (2019) - [i5]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique. CoRR abs/1912.01487 (2019) - [i4]Maxime Cordy, Renaud Rwemalika, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. A Case Study on Mutation Testing and Program Repair. CoRR abs/1912.03197 (2019) - 2018
- [c34]Matthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman:
Are mutants really natural?: a study on how "naturalness" helps mutant selection. ESEM 2018: 3:1-3:10 - [c33]