Google
Google Scholar
Semantic Scholar
MS Academic
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
- 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) - [c75]Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman:
MuDelta: Delta-Oriented Mutation Testing at Commit Time. ICSE 2021: 897-909 - [c74]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 - [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] - [i23]Sarra Habchi
, Maxime Cordy, Mike Papadakis, Yves Le Traon:
On the Use of Mutation in Injecting Test Order-Dependency. CoRR abs/2104.07441 (2021) - [i22]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) - [i21]Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
Adversarial Robustness in Multi-Task Learning: Promises and Illusions. CoRR abs/2110.15053 (2021) - [i20]Renaud Rwemalika, Sarra Habchi, Mike Papadakis, Yves Le Traon, Marie-Claude Brasseur:
Smells in System User Interactive Tests. CoRR abs/2111.02317 (2021) - [i19]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) - 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