Michail Papadakis
![]() |
|
||||
Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
Research Unit | CSC | ||||
Postal Address |
Campus Kirchberg, Université du Luxembourg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg |
||||
Campus Office | E 005 | ||||
![]() |
|||||
Telephone | (+352) 46 66 44 5672 | ||||
I am a research associate in the Serval group of the Interdisciplinary Centre for Security, Reliability and Trust ( SnT ) at the University of Luxembourg.
My research focuses on software testing and software debugging.
More details about my research and background can be found on my personal home page.
A-Most 2016
Special Theme on Model-Based Testing.
Last updated on: Sunday, 01 November 2015

In press

; ; ;
in Software Testing, Verification and Reliability (in press)
2018

; ; ;
in IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (2018)

; ; ; ; ;
in Journal of Systems and Software (2018)

; ; ;
in 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018 (2018, September 26)

; ; ;
Scientific Conference (2018, September)

; ;
in IEEE International Working Conference on Source Code Analysis and Manipulation (2018)

; ; ; ; ; ;
in 12th International Symposium on Empirical Software Engineering and Measurement (ESEM'18) (2018, October 11)

; ; ; ; ;
in Empirical Software Engineering (2018)

; ; ; ; ;
in 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden (2018, May)

; ; ; ; ;
in Information and Software Technology (2018)

; ; ;
in 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden (2018)

; ;
in 13th International Workshop on Mutation Analysis (MUTATION'18) (2018)

; ; ;
Scientific Conference (2018, December 11)

; ; ;
in 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018 (2018)
2017

; ; ; ; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) (2017)

; ; ; ; ;
in IEEE Transactions on Software Engineering (2017)

; ; ; ; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (2017)

; ; ; ; ; ; ;
in Information and Software Technology (2017)

; ; ; ;
in The 12th International Workshop on Mutation Analysis (Mutation 2017) (2017)

; ; ;
in International Conference on Software Engineering (ICSE 2017) (2017, May 28)
2016

; ; ; ;
in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)

; ; ; ; ;
in 38th International Conference on Software Engineering (ICSE'16) (2016)

; ; ; ;
in 38th International Conference on Software Engineering (ICSE'16) (2016)

; ; ;
in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016) (2016, August)

; ;
in 2016 Asia-Pacific Software Engineering Conference (APSEC) (2016, December)

; ;
in 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016 (2016, October)

; ; ; ;
in International Working Conference on Source Code Analysis and Manipulation (SCAM'16) (2016)

; ; ; ; ;
in Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings (2016)

; ; ; ;
in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)
2015

; ; ; ; ; ;
in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15) (2015)

; ; ; ; ; ; ; ;
in Information and Software Technology (2015), 58

; ; ;
in 37th International Conference on Software Engineering (ICSE 2015) (2015)

; ;
in Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (2015, April)

; ;
in Software Testing, Verification & Reliability (2015), 25(5-7), 508-535

;
in Software Testing : Verification & Reliability (2015), 25

; ; ;
in 37th International Conference on Software Engineering (ICSE 2015) (2015)
2014

; ; ;
in Workshop on Experimental Software Engineering (ESELAW'14) (2014)

; ; ; ; ;
in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) (2014)

; ;
in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)

; ;
in Symposium on Search-Based Software Engineering (SSBSE 2014) (2014)

; ; ; ; ;
in IEEE Transactions on Software Engineering (2014), 40(7), 650-670

; ;
in Science of Computer Programming (2014), 95

; ;
in 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)

;
in ACM Symposium On Applied Computing (SAC'14) (2014)

; ; ; ;
in 29th Symposium on Applied Computing (SAC 2014) (2014)
2013

; ; ; ;
in 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 (2013)

; ; ; ;
in 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013 (2013)

; ; ; ;
in 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013 (2013)

; ; ; ;
in Proceedings of the 2013 International Conference on Software Engineering (2013)

; ;
in 7th International Workshop on Mutation Analysis (2013, March)

; ;
in International Working Conference on Source Code Analysis and Manipulation (2013)

;
in Abstract book of 28th Symposium On Applied Computing (2013)
2012

;
in Information & Software Technology (2012), 54(9), 915-932