Marinos Kintis

We are hiring: One PhD position available in the area of Automated Software Testing at the University of Luxembourg - application deadline: March 31. More details here.

News

I successfully defended my PhD Thesis, and, since September 2016, I have joined the SERVAL research group at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) of the University of Luxembourg as a research associate, under the direction of Prof. Le Traon. My (unfinished) new website can be found here.

Publications

Refereed Journal Articles

NEW Detecting Trivial Mutant Equivalences via Compiler Optimisations NEW

M. Kintis, M. Papadakis, Y. Jia, N. Malevris, Y. Le Traon and M. Harman, IEEE Transactions on Software Engineering (TSE), 2017 (accepted for publication)

MEDIC: A Static Analysis Framework for Equivalent Mutant Identification

M. Kintis and N. Malevris, Information and Software Technology (IST), 2015. (preprint)

Employing second-order mutation for isolating first-order equivalent mutants

M. Kintis, M. Papadakis and N. Malevris, Software Testing, Verification and Reliability (STVR), Special Issue on Mutation Testing, 2014. (experimental data)

Conferences and Workshops

NEW Assessing and Improving the Mutation Testing Practice of PIT NEW

T. Laurent, M. Papadakis, M. Kintis, C. Henard, Y. Le Traon and A. Ventresque, , 10th International Conference on Software Testing, Verification and Validations (ICST), Tokyo, Japan, March 2017, (tool)

Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study (best paper award)

M. Kintis, M. Papadakis, A. Papadopoulos, E. Valvis and N. Malevris, 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Raleigh, North Carolina USA, October 2016.

Using Data Flow Patterns for Equivalent Mutant Detection

M. Kintis and N. Malevris, 9th International Workshop on Mutation Analysis (MUTATION), Cleveland, Ohio USA, March 2014, pp. 196-205.

Identifying More Equivalent Mutants via Code Similarity

M. Kintis and N. Malevris, 20th Asia-Pacific Software Engineering Conference (APSEC), Bangkok, Thailand, December 2013, pp. 180-188. (experimental data)

Isolating First Order Equivalent Mutants via Second Order Mutation

M. Kintis, M. Papadakis and N. Malevris, 7th International Workshop on Mutation Analysis (MUTATION), Montreal, Quebec Canada, April 2012, pp. 701-710.

Evaluating Mutation Testing Alternatives: A Collateral Experiment

M. Kintis, M. Papadakis and N. Malevris, 17th Asia-Pacific Software Engineering Conference (APSEC), Sydney, Australia, December 2010, pp. 300-309.

Mutation Testing Strategies: A collateral approach

M. Papadakis, N. Malevris, and M. Kintis, 5th International Conference on Software and Data Technologies (ICSOFT), Athens, Greece, July 2010, pp. 325-328.

Technical Reports

NEW How Effective Mutation Testing Tools Are? An Empirical Analysis of Java Mutation Testing Tools with Manual Analysis and Real Faults NEW

M. Kintis, M. Papadakis, A. Papadopoulos, E. Valvis, N. Malevris and Y. Le Traon, 2017. (bib)

PhD Thesis

Effective Methods to Tackle the Equivalent Mutant Problem when Testing Software with Mutation

Marinos Kintis, Department of Informatics, Athens University of Economics and Business, July 2016.

Teaching Experience

Postgraduate Courses

Teaching assistant, Software Development Methodologies and Architecture (INF137), Instructor: Prof. Giakoumakis, MSc in Information Systems, AUEB, (2012 – 2015).

Teaching assistant, Software Development Methodologies and Architecture (INF139), Instructor: Prof. Giakoumakis, MSc in Information Systems (part-time), AUEB, (2012 – 2015).

Undergraduate Courses

Teaching assistant, Software Testing (INF198), Instructor: Prof. Malevris, Department of Informatics, AUEB,
(2011 – 2016).

Teaching assistant, Software Engineering (INF138), Instructor: Prof. Giakoumakis, Department of Informatics, AUEB,
(2011 – 2014).

Professional Activities (out of date)

Program Committee Service

MEAS track, SAC 2017 (PC Member)

Referee Service

Software Testing, Verification and Reliability (STVR, 2016) (reviewer)

MUTATION 2016 (sub-reviewer)

Software Testing, Verification and Reliability (STVR, 2015) (reviewer)

Information and Software Technology (IST, 2015) (reviewer)

MUTATION 2015 (sub-reviewer)

Personal (out of date)

I am currently a last-year PhD student at Athens University of Economics and Business (AUEB) under the supervision of Prof. Malevris. My current work focuses on reducing the cost of mutation testing via targeting the equivalent mutant problem. My research interests include software engineering, with an emphasis on software testing.

In parallel with my PhD studies, I have been working as a teaching assistant, supporting the INF137 and INF139 software engineering courses of AUEB's MSc in Information Systems.

Contact (out of date)

Athens University of Economics and Business

Department of Informatics

76 Patission Street

10434, Athens, Hellas

Phone: +30-210-8203157

e-mail: kintism at aueb dot gr