Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMike Papadakis
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
[j27]Renaud Rwemalika
, Sarra Habchi, Mike Papadakis, Yves Le Traon, Marie-Claude Brasseur:
Smells in system user interactive tests. Empir. Softw. Eng. 28(1): 20 (2023)- [j26]Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon:
Cerebro: Static Subsuming Mutant Selection. IEEE Trans. Software Eng. 49(1): 24-43 (2023) - [i46]Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
Efficient Mutation Testing via Pre-Trained Language Models. CoRR abs/2301.03543 (2023) - [i45]Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon:
Assertion Inferring Mutants. CoRR abs/2301.12284 (2023) - [i44]Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, Mike Papadakis:
Specification Inference for Evolving Systems. CoRR abs/2301.12403 (2023) - 2022
- [j25]Milos Ojdanic, Wei Ma, Thomas Laurent, Thierry Titcheu Chekam, Anthony Ventresque, Mike Papadakis:
On the use of commit-relevant mutants. Empir. Softw. Eng. 27(5): 114 (2022) - [j24]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) - [j23]Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis:
Mutation analysis and its industrial applications. Softw. Test. Verification Reliab. 32(7) (2022) - [j22]Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis:
Mutation analysis and its industrial applications. Softw. Test. Verification Reliab. 32(8) (2022) - [j21]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) - [c91]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. AAAI 2022: 697-705 - [c90]Yu Pei, Sarra Habchi, Renaud Rwemalika, Jeongju Sohn, Mike Papadakis:
An empirical study of async wait flakiness in front-end testing. BENEVOL 2022 - [c89]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 - [c88]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 - [c87]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 - [c86]Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. ICSE 2022: 982-994 - [c85]Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang:
Improving Machine Translation Systems via Isotopic Replacement. ICSE 2022: 1181-1192 - [c84]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 - [c83]Renzo Degiovanni, Mike Papadakis:
µBert: Mutation Testing using Pre-Trained Language Models. ICST Workshops 2022: 160-169 - [c82]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 - [c81]Jeongju Sohn, Mike Papadakis:
CEMENT: On the Use of Evolutionary Coupling Between Tests and Code Units. A Case Study on Fault Localization. ISSRE 2022: 133-144 - [c80]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 - [c79]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
Efficient and transferable adversarial examples from bayesian neural networks. UAI 2022: 738-748 - [e2]Mike Papadakis, Silvia Regina Vergilio:
Search-Based Software Engineering - 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings. Lecture Notes in Computer Science 13711, Springer 2022, ISBN 978-3-031-21250-5 [contents] - [i43]Renzo Degiovanni, Mike Papadakis:
μBERT: Mutation Testing using Pre-Trained Language Models. CoRR abs/2203.03289 (2022) - [i42]Jeongju Sohn, Mike Papadakis:
Using Evolutionary Coupling to Establish Relevance Links Between Tests and Code Units. A case study on fault localization. CoRR abs/2203.11343 (2022) - [i41]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) - [i40]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) - [i39]Ezekiel O. Soremekun, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Software Fairness: An Analysis and Survey. CoRR abs/2205.08809 (2022) - [i38]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) - [i37]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) - [i36]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) - [i35]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) - [i34]Ahmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon:
CodeBERT-nt: code naturalness via CodeBERT. CoRR abs/2208.06042 (2022) - [i33]Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon:
Predicting Flaky Tests Categories using Few-Shot Learning. CoRR abs/2208.14799 (2022) - [i32]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) - [i31]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) - [i30]Milos Ojdanic, Mike Papadakis, Mark Harman:
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. CoRR abs/2212.11762 (2022) - 2021
- [j20]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) - [j19]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) - [j18]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) - [c78]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 - [c77]Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman:
MuDelta: Delta-Oriented Mutation Testing at Commit Time. ICSE 2021: 897-909 - [c76]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 - [c75]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 - [c74]William Bonnaventure, Ahmed Khanfir, Alexandre Bartel, Mike Papadakis, Yves Le Traon:
Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities. QRS 2021: 586-597 - [e1]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] - [i29]Sarra Habchi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
On the Use of Mutation in Injecting Test Order-Dependency. CoRR abs/2104.07441 (2021) - [i28]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) - [i27]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. CoRR abs/2110.15053 (2021) - [i26]Renaud Rwemalika, Sarra Habchi, Mike Papadakis, Yves Le Traon, Marie-Claude Brasseur:
Smells in System User Interactive Tests. CoRR abs/2111.02317 (2021) - [i25]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) - [i24]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) - [i23]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) - [i22]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) - [i21]Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon:
Cerebro: Static Subsuming Mutant Selection. CoRR abs/2112.14151 (2021) - [i20]Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies. CoRR abs/2112.14508 (2021) - [i19]Milos Ojdanic, Ezekiel O. Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution. CoRR abs/2112.14566 (2021) - 2020
- [j17]Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen:
Selecting fault revealing mutants. Empir. Softw. Eng. 25(1): 434-487 (2020) - [c73]Maxime Cordy, Mike Papadakis, Axel Legay:
Statistical Model Checking for Variability-Intensive Systems. FASE 2020: 294-314 - [c72]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
FeatureNET: diversity-driven generation of deep learning models. ICSE (Companion Volume) 2020: 41-44 - [c71]Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon:
Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework. AST@ICSE 2020: 97-100 - [c70]Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang:
Automatic testing and improvement of machine translation. ICSE 2020: 974-985 - [c69]Wei Ma, Thomas Laurent, Milos Ojdanic, Thierry Titcheu Chekam, Anthony Ventresque, Mike Papadakis:
Commit-Aware Mutation Testing. ICSME 2020: 394-405 - [c68]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 - [c67]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 - [i18]Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Killing Stubborn Mutants with Symbolic Execution. CoRR abs/2001.02941 (2020) - [i17]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) - [i16]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Efficient and Transferable Adversarial Examples from Bayesian Neural Networks. CoRR abs/2011.05074 (2020) - [i15]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) - [i14]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) - [i13]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
- [j16]Mike Papadakis, Marinos Kintis, Jie Zhang, Yue Jia, Yves Le Traon, Mark Harman:
Chapter Six - Mutation Testing Advances: An Analysis and Survey. Adv. Comput. 112: 275-378 (2019) - [j15]Mike Papadakis, Shaukat Ali, Gilles Perrouin:
Editorial to the theme section on model-based testing. Softw. Syst. Model. 18(2): 795-796 (2019) - [j14]Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae:
Empirical evaluation of mutation-based test case prioritization techniques. Softw. Test. Verification Reliab. 29(1-2) (2019) - [c66]Claire Leong, Abhayendra Singh, Mike Papadakis, Yves Le Traon, John Micco:
Assessing transition-based test selection algorithms at Google. ICSE (SEIP) 2019: 101-110 - [c65]Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Validity fuzzing and parametric generators for effective random testing. ICSE (Companion Volume) 2019: 266-267 - [c64]Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach:
An Industrial Study on the Differences between Pre-Release and Post-Release Bugs. ICSME 2019: 92-102 - [c63]Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach:
On the Evolution of Keyword-Driven Test Suites. ICST 2019: 335-345 - [c62]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 - [c61]Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Semantic fuzzing with zest. ISSTA 2019: 329-340 - [c60]Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach:
Ukwikora: continuous inspection for keyword-driven testing. ISSTA 2019: 402-405 - [c59]Matthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon, Mark Harman:
The importance of accounting for real-world labelling when predicting software vulnerabilities. ESEC/SIGSOFT FSE 2019: 695-705 - [c58]Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon:
Mart: a mutant generation tool for LLVM. ESEC/SIGSOFT FSE 2019: 1080-1084 - [c57]Xavier Schmitt, Sylvain Kubler, Jérémy Robert, Mike Papadakis, Yves Le Traon:
A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate. SNAMS 2019: 338-343 - [c56]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 - [i12]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Automated Search for Configurations of Deep Neural Network Architectures. CoRR abs/1904.04612 (2019) - [i11]Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon:
Test Selection for Deep Learning Systems. CoRR abs/1904.13195 (2019) - [i10]Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang:
Automatic Testing and Improvement of Machine Translation. CoRR abs/1910.02688 (2019) - [i9]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Embedding: A robust and elusive Steganography and Watermarking technique. CoRR abs/1912.01487 (2019) - [i8]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
- [j13]Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris, Yves Le Traon:
How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults. Empir. Softw. Eng. 23(4): 2426-2463 (2018) - [j12]Jabier Martinez, Tewfik Ziadi, Mike Papadakis, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon:
Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants. Inf. Softw. Technol. 104: 46-59 (2018) - [j11]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141: 1-15 (2018) - [j10]Marinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, Mark Harman:
Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Trans. Software Eng. 44(4): 308-333 (2018) - [c55]Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon:
Can We Automate Away the Main Challenges of End-To-End Testing? BENEVOL 2018: 33-37 - [c54]Takfarinas Saber, Florian Delavernhe, Mike Papadakis, Michael O'Neill, Anthony Ventresque:
A Hybrid Algorithm for Multi-Objective Test Case Selection. CEC 2018: 1-8 - [c53]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 - [c52]Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon:
Predicting the fault revelation utility of mutants. ICSE (Companion Volume) 2018: 408-409 - [c51]Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson:
Time to clean your test objectives. ICSE 2018: 456-467 - [c50]Mike Papadakis, Donghwan Shin, Shin Yoo, Doo-Hwan Bae:
Are mutation scores correlated with real fault detection?: a large scale empirical study on the relationship between mutants and real faults. ICSE 2018: 537-548 - [c49]Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis:
On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis. ICSME 2018: 437-448 - [c48]Matthieu Jimenez, Maxime Cordy, Yves Le Traon, Mike Papadakis:
TUNA: TUning Naturalness-Based Analysis. ICSME 2018: 715 - [c47]Mike Papadakis, Thierry Titcheu Chekam, Yves Le Traon:
Mutant Quality Indicators. ICST Workshops 2018: 32-39 - [c46]Matthieu Jimenez, Yves Le Traon, Mike Papadakis:
[Engineering Paper] Enabling the Continuous Analysis of Security Vulnerabilities with VulData7. SCAM 2018: 56-61 - [i7]Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen:
Selecting Fault Revealing Mutants. CoRR abs/1803.07901 (2018) - [i6]Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. CoRR abs/1812.00078 (2018) - 2017
- [j9]Mike Papadakis, René Just:
Special issue on Mutation Testing. Inf. Softw. Technol. 81: 1-2 (2017) - [j8]Li Li, Tegawendé F. Bissyandé, Mike Papadakis, Siegfried Rasthofer, Alexandre Bartel, Damien Octeau, Jacques Klein, Yves Le Traon:
Static analysis of android apps: A systematic literature review. Inf. Softw. Technol. 88: 67-95 (2017) - [c45]Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon, Mark Harman:
An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption. ICSE 2017: 597-608 - [c44]Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans:
Towards Security-Aware Mutation Testing. ICST Workshops 2017: 97-102 - [c43]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST 2017: 424-429 - [c42]Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque:
Assessing and Improving the Mutation Testing Practice of PIT. ICST 2017: 430-435