default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMike Papadakis
2020 – today
- 2025
[j41]Zeming Dong
, Qiang Hu, Yuejun Guo, Zhenya Zhang, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
Boosting source code learning with text-oriented data augmentation: an empirical study. Empir. Softw. Eng. 30(3): 68 (2025)- 2024
- [j40]Xueqi Dang, Yinghua Li, Wei Ma, Yuejun Guo, Qiang Hu, Mike Papadakis, Maxime Cordy, Yves Le Traon:
Towards Exploring the Limitations of Test Selection Techniques on Graph Neural Networks: An Empirical Study. Empir. Softw. Eng. 29(5): 112 (2024) - [j39]Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao:
On the effectiveness of hybrid pooling in mixup-based graph learning for language processing. J. Syst. Softw. 216: 112139 (2024) - [j38]Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias:
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1(FSE): 450-472 (2024) - [j37]Xueqi Dang, Yinghua Li, Mike Papadakis, Jacques Klein, Tegawendé F. Bissyandé, Yves Le Traon:
GraphPrior: Mutation-based Test Input Prioritization for Graph Neural Networks. ACM Trans. Softw. Eng. Methodol. 33(1): 22:1-22:40 (2024) - [j36]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon:
LaF: Labeling-free Model Selection for Automated Deep Neural Network Reusing. ACM Trans. Softw. Eng. Methodol. 33(1): 25:1-25:28 (2024) - [j35]Yuejun Guo, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Yves Le Traon:
KAPE: kNN-based Performance Testing for Deep Code Search. ACM Trans. Softw. Eng. Methodol. 33(2): 48:1-48:24 (2024) - [j34]Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Lei Ma, Mike Papadakis, Yves Le Traon:
Test Optimization in DNN Testing: A Survey. ACM Trans. Softw. Eng. Methodol. 33(4): 111:1-111:42 (2024) - [j33]Xueqi Dang, Yinghua Li, Mike Papadakis, Jacques Klein, Tegawendé F. Bissyandé, Yves Le Traon:
Test Input Prioritization for Machine Learning Classifiers. IEEE Trans. Software Eng. 50(3): 413-442 (2024) - [j32]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. IEEE Trans. Software Eng. 50(5): 1080-1095 (2024) - [j31]Ana Belén Sánchez, José Antonio Parejo, Sergio Segura, Amador Durán Toro, Mike Papadakis:
Mutation Testing in Practice: Insights From Open-Source Software Developers. IEEE Trans. Software Eng. 50(5): 1130-1143 (2024) - [c110]Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis:
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. ICSE 2024: 123:1-123:13 - [c109]Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset. ICST 2024: 305-316 - [c108]Guillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis, Maxime Cordy, Yves Le Traon:
The Importance of Accounting for Execution Failures when Predicting Test Flakiness. ASE 2024: 1979-1989 - [d1]Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias:
Abstraction-Aware Inference of Metamorphic Relations (Replication Package). Zenodo, 2024
- [i60]Alix Decrop, Gilles Perrouin, Mike Papadakis, Xavier Devroey, Pierre-Yves Schobbens:
You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models. CoRR abs/2402.05102 (2024) - [i59]Zeming Dong, Qiang Hu, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Jianjun Zhao:
Importance Guided Data Augmentation for Neural-Based Code Understanding. CoRR abs/2402.15769 (2024) - [i58]Bo Wang, Mingda Chen, Youfang Lin, Mike Papadakis, Jie M. Zhang:
An Exploratory Study on Using Large Language Models for Mutation Testing. CoRR abs/2406.09843 (2024) - [i57]Michael Konstantinou, Renzo Degiovanni, Mike Papadakis:
Do LLMs generate test oracles that capture the actual or the expected program behaviour? CoRR abs/2410.21136 (2024) - 2023
- [j30]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) - [j29]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. ACM Trans. Softw. Eng. Methodol. 32(1): 14:1-14:39 (2023) - [j28]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) - [j27]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) - [j26]Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies. IEEE Trans. Software Eng. 49(7): 3922-3938 (2023) - [c107]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
On Evaluating Adversarial Robustness of Chest X-ray Classification. SafeAI@AAAI 2023 - [c106]Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
On Comparing Mutation Testing Tools through Learning-based Mutant Selection. AST 2023: 35-46 - [c105]Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon:
FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning. AST 2023: 140-151 - [c104]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 - [c103]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 - [c102]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 - [c101]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 - [c100]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 - [c99]Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis:
Evaluating the Impact of Experimental Assumptions in Automated Fault Localization. ICSE 2023: 159-171 - [c98]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 - [c97]Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon:
Enabling Efficient Assertion Inference. ISSRE 2023: 623-634 - [c96]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 - [c95]Milos Ojdanic, Mike Papadakis, Mark Harman:
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. ESEC/SIGSOFT FSE 2023: 2067-2071 - [c94]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 - [i56]Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
Efficient Mutation Testing via Pre-Trained Language Models. CoRR abs/2301.03543 (2023) - [i55]Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon:
Assertion Inferring Mutants. CoRR abs/2301.12284 (2023) - [i54]Renzo Degiovanni, Facundo Molina, Agustín Nolasco, Nazareno Aguirre, Mike Papadakis:
Specification Inference for Evolving Systems. CoRR abs/2301.12403 (2023) - [i53]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) - [i52]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) - [i51]Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon:
Vulnerability Mimicking Mutants. CoRR abs/2303.04247 (2023) - [i50]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) - [i49]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) - [i48]Yu Pei, Jeongju Sohn, Sarra Habchi, Mike Papadakis:
Time-based Repair for Asynchronous Wait Flaky Tests in Web Testing. CoRR abs/2305.08592 (2023) - [i47]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) - [i46]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) - [i45]Yonghao Wu, Zheng Li, Jie M. Zhang, Mike Papadakis, Mark Harman, Yong Liu:
Large Language Models in Fault Localisation. CoRR abs/2308.15276 (2023) - [i44]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) - 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) - [c93]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. AAAI 2022: 697-705 - [c92]Yu Pei, Sarra Habchi, Renaud Rwemalika, Jeongju Sohn, Mike Papadakis:
An empirical study of async wait flakiness in front-end testing. BENEVOL 2022 - [c91]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 - [c90]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 - [c89]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 - [c88]Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman:
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment. ICSE 2022: 982-994 - [c87]Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang:
Improving Machine Translation Systems via Isotopic Replacement. ICSE 2022: 1181-1192 - [c86]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 - [c85]Renzo Degiovanni, Mike Papadakis:
µBert: Mutation Testing using Pre-Trained Language Models. ICST Workshops 2022: 160-169 - [c84]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 - [c83]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 - [c82]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 - [c81]Benjamin Petit, Ahmed Khanfir, Ezekiel O. Soremekun, Gilles Perrouin, Mike Papadakis:
IntJect: Vulnerability Intent Bug Seeding. QRS 2022: 19-30 - [c80]Ahmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon:
CodeBERT-nt: Code Naturalness via CodeBERT. QRS 2022: 936-947 - [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 - [i5]Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson:
Freeing Testers from Polluting Test Objectives. CoRR abs/1708.08765 (2017) - [i4]Donghwan Shin, Shin Yoo, Mike Papadakis, Doo-Hwan Bae:
Empirical Evaluation of Mutation-based Test Prioritization Techniques. CoRR abs/1709.04631 (2017) - 2016
- [c41]Matthieu Jimenez, Mike Papadakis, Yves Le Traon:
An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel. APSEC 2016: 105-112 - [c40]Francisco Carlos M. Souza, Mike Papadakis, Yves Le Traon, Márcio Eduardo Delamaro:
Strong mutation-based test data generation using hill climbing. SBST@ICSE 2016: 45-54 - [c39]Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon:
Comparing white-box and black-box test prioritization. ICSE 2016: 523-534 - [c38]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c37]Jabier Martinez, Tewfik Ziadi, Mike Papadakis, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon:
Feature Location Benchmark for Software Families Using Eclipse Community Releases. ICSR 2016: 267-283 - [c36]Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon:
Threats to the validity of mutation-based test assessment. ISSTA 2016: 354-365 - [c35]Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque:
PIT: a practical mutation testing tool for Java (demo). ISSTA 2016: 449-452 - [c34]Matthieu Jimenez, Mike Papadakis, Tegawendé F. Bissyandé, Jacques Klein:
Profiling Android Vulnerabilities. QRS 2016: 222-229 - [c33]Matthieu Jimenez, Mike Papadakis, Yves Le Traon:
Vulnerability Prediction Models: A Case Study on the Linux Kernel. SCAM 2016: 1-10 - [c32]Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, Nicos Malevris:
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. SCAM 2016: 147-156 - [i3]Thomas Laurent, Anthony Ventresque, Mike Papadakis, Christopher Henard, Yves Le Traon:
Assessing and Improving the Mutation Testing Practice of PIT. CoRR abs/1601.02351 (2016) - [i2]Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon:
Assessing and Comparing Mutation-based Fault Localization Techniques. CoRR abs/1607.05512 (2016) - 2015
- [j7]Antonia Bertolino, Said Daoudagh, Donia El Kateb, Christopher Henard, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi, Mike Papadakis:
Similarity testing for access control. Inf. Softw. Technol. 58: 355-372 (2015) - [j6]Marinos Kintis, Mike Papadakis, Nicos Malevris:
Employing second-order mutation for isolating first-order equivalent mutants. Softw. Test. Verification Reliab. 25(5-7): 508-535 (2015) - [j5]Mike Papadakis, Yves Le Traon:
Metallaxis-FL: mutation-based fault localization. Softw. Test. Verification Reliab. 25(5-7): 605-628 (2015) - [c31]Christopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon:
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines. ICSE (1) 2015: 517-528 - [c30]Mike Papadakis, Yue Jia, Mark Harman, Yves Le Traon:
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. ICSE (1) 2015: 936-946 - [c29]Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion:
Sound and Quasi-Complete Detection of Infeasible Test Requirements. ICST 2015: 1-10 - [c28]Christopher Henard, Mike Papadakis, Yves Le Traon:
Flattening or not of the combinatorial interaction testing models? ICST Workshops 2015: 1-4 - 2014
- [j4]Mike Papadakis, Márcio Eduardo Delamaro, Yves Le Traon:
Mitigating the effects of equivalent mutants with mutant classification strategies. Sci. Comput. Program. 95: 298-319 (2014) - [j3]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon:
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines. IEEE Trans. Software Eng. 40(7): 650-670 (2014) - [c27]Francisco Carlos M. Souza, Mike Papadakis, Vinicius H. S. Durelli, Márcio Eduardo Delamaro:
Test Data Generation Techniques for Mutation Testing: A Systematic Mapping. CIbSE 2014: 419-432 - [c26]Mike Papadakis, Christopher Henard, Yves Le Traon:
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing. ICST 2014: 1-10 - [c25]Mike Papadakis, Tejeddine Mouelhi, Haitao Dan:
MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis. ICST Workshops 2014: 155 - [c24]Christopher Henard, Mike Papadakis, Yves Le Traon:
MutaLog: A Tool for Mutating Logic Formulas. ICST Workshops 2014: 399-404 - [c23]Tewfik Ziadi, Christopher Henard, Mike Papadakis, Mikal Ziane, Yves Le Traon:
Towards a language-independent approach for reverse-engineering of software product lines. SAC 2014: 1064-1071 - [c22]Mike Papadakis, Yves Le Traon:
Effective fault localization via mutation analysis: a selective mutation approach. SAC 2014: 1293-1300 - [c21]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens:
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844 - [c20]Christopher Henard, Mike Papadakis, Yves Le Traon:
Mutation-Based Generation of Software Product Line Test Configurations. SSBSE 2014: 92-106 - 2013
- [c19]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon:
Towards automated testing and fixing of re-engineered feature models. ICSE 2013: 1245-1248 - [c18]Phu Hong Nguyen, Mike Papadakis, Iram Rubab:
Testing Delegation Policy Enforcement via Mutation Analysis. ICST Workshops 2013: 34-42 - [c17]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon:
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing. ICST Workshops 2013: 188-197 - [c16]Mike Papadakis, Yves Le Traon:
Mutation testing strategies using mutant classification. SAC 2013: 1223-1229 - [c15]Mike Papadakis, Márcio Eduardo Delamaro, Yves Le Traon:
Proteum/FL: A tool for localizing faults using mutation analysis. SCAM 2013: 94-99 - [c14]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon:
Multi-objective test generation for software product lines. SPLC 2013: 62-71 - [c13]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon:
PLEDGE: a product line editor and test generation tool. SPLC Workshops 2013: 126-129 - 2012
- [j2]Mike Papadakis, Nicos Malevris:
Mutation based test case generation via a path selection strategy. Inf. Softw. Technol. 54(9): 915-932 (2012) - [c12]Mike Papadakis, Yves Le Traon:
Using Mutants to Locate "Unknown" Faults. ICST 2012: 691-700 - [c11]Marinos Kintis, Mike Papadakis, Nicos Malevris:
Isolating First Order Equivalent Mutants via Second Order Mutation. ICST 2012: 701-710 - [c10]Mike Papadakis, Nicos Malevris:
Killing Mutants Effectively a Search Based Approach. JCKBSE 2012: 217-226 - [i1]Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon:
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines. CoRR abs/1211.5451 (2012) - 2011
- [j1]Mike Papadakis, Nicos Malevris:
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing. Softw. Qual. J. 19(4): 691-723 (2011) - [c9]Mike Papadakis, Nicos Malevris:
Automatic mutation based test data generation. GECCO (Companion) 2011: 247-248 - 2010
- [c8]Marinos Kintis, Mike Papadakis, Nicos Malevris:
Evaluating Mutation Testing Alternatives: A Collateral Experiment. APSEC 2010: 300-309 - [c7]Mike Papadakis, Nicos Malevris, Maria Kallia:
Towards automating the generation of mutation tests. AST 2010: 111-118 - [c6]Mike Papadakis, Nicos Malevris:
A Symbolic Execution Tool Based on the Elimination of Infeasible Paths. ICSEA 2010: 435-440 - [c5]Mike Papadakis, Nicos Malevris, Marinos Kintis:
Mutation Testing Strategies - A Collateral Approach. ICSOFT (2) 2010: 325-328 - [c4]Mike Papadakis, Nicos Malevris:
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. ICST Workshops 2010: 90-99 - [c3]Mike Papadakis, Nicos Malevris:
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. ISSRE 2010: 121-130
2000 – 2009
- 2009
- [c2]Mike Papadakis, Nicos Malevris:
An Effective Path Selection Strategy for Mutation Testing. APSEC 2009: 422-429 - [c1]Mike Papadakis, Nicos Malevris:
Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution. AIAI Workshops 2009: 201-210
Coauthor Index
[j41] [j40] [j39] [j36] [j35] [j34] [j32] [c110] [c108] [i59] [j28] [c107] [c104] [c103] [c102] [c101] [c100] [c98] [c97] [c96] [c94] [i55] [i53] [i52] [i50] [i49] [i47] [i46] [i44] [j24] [j21] [c93] [c91] [c90] [c89] [c88] [c86] [c84] [c82] [c79] [i41] [i40] [i39] [i38] [i37] [i36] [i35] [i32] [i31] [j20] [j19] [j18] [c78] [c76] [c75] [e1] [i29] [i28] [i27] [i25] [i24] [i23] [i22] [c73] [c72] [c68] [c67] [i18] [i17] [i16] [i15] [i14] [i13] [c62] [c56] [i12] [i11] [i9] [i8] [c53] [c49] [c48] [c21]
[j41] [j40] [j39] [j37] [j36] [j35] [j34] [j33] [j32] [c110] [c109] [c108] [j30] [j29] [j28] [j27] [j26] [c107] [c106] [c105] [c104] [c103] [c101] [c100] [c98] [c97] [c96] [c94] [i56] [i55] [i53] [i52] [i51] [i50] [i49] [i47] [i46] [i44] [j24] [j21] [c93] [c91] [c90] [c89] [c86] [c84] [c82] [c80] [c79] [i41] [i40] [i39] [i38] [i37] [i36] [i35] [i34] [i33] [i32] [i31] [j19] [j18] [c78] [c76] [c75] [c74] [i29] [i27] [i26] [i25] [i24] [i23] [i22] [i21] [i20] [i19] [j17] [c72] [c71] [c68] [c67] [i18] [i17] [i16] [i15] [i14] [i13] [j16] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [c58] [c57] [c56] [i12] [i11] [i9] [j13] [j12] [j10] [c55] [c53] [c52] [c49] [c48] [c47] [c46] [i7] [i6] [j8] [c45] [c42] [c41] [c40] [c39] [c37] [c36] [c33] [i3] [i2] [j7] [j5] [c31] [c30] [c29] [c28] [j4] [j3] [c26] [c24] [c23] [c22] [c20] [c19] [c17] [c16] [c15] [c14] [c13] [c12] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
