Registered user since Thu 25 Aug 2016
Name:Mike Papadakis
Country:Luxembourg
Affiliation:University of Luxembourg
Personal website: https://mpapad.github.io/
Contributions
2024
ICSE
- Journal First Article: "Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies"
- Committee Member in Posters within the Posters-track
- Committee Member in Research Track within the Research Track-track
- Posters Co-Chair in Organising Committee
- SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
ICSE 2024-profile
View general profile
View general profile