ΒΙΟΓΡΑΦΙΚΟ ΗΜΔΙΩΜΑ Νικολάος Μαλεύπη

Transcript

1 ΒΙΟΓΡΑΦΙΚΟ ΗΜΔΙΩΜΑ Νικολάος Μαλεύπη ΠΡΟΩΠΙΚΑ ΣΟΙΥΔΙΑ Ο Νικόλαορ Μαλεύπηρ είναι έγγαμορ με δύο παιδιά. ΠΟΤΓΔ Πανεπιζηήμιο Αθηνών, Σμήμα Μαθημαηικό ( , Πηςσίο ζηα Μαθημαηικά), Πανεπιζηήμιο Southampton, Αγγλία ( , M.Sc. ζηην Δπισειπηζιακή Έπεςνα), Πανεπιζηήμιο Liverpool, Αγγλία , Ph.D. ζηην Δπιζηήμη ηων Ηλεκηπονικών Τπολογιζηών) ΔΠΑΓΓΔΛΜΑΣΙΚΗ ΓΡΑΣΗΡΙΟΣΗΣΑ -Καθηγηηήρ ηος Σμήμαηορ Πληποθοπικήρ ηος Οικονομικού Πανεπ/μίος Αθηνών (2013- ζήμεπα) -Αναπληπωηήρ Καθηγηηήρ ηος Σμήμαηορ Πληποθοπικήρ ηος Οικονομικού Πανεπ/μίος Αθηνών ( ) -Δπίκοςπορ Καθηγηηήρ ηος Σμήμαηορ Πληποθοπικήρ ηος Οικονομικού Πανεπιζηημίος Αθηνών ( ). -Λέκηοπαρ ηος ημήμαηορ Δθαπμοζμένηρ Πληποθοπικήρ ηος Οικονομικού Πανεπιζηημίος Αθηνών ( ). -Junior Lecturer / Senior Demonstrator ζηο ημήμα Computer Science ηος Πανεπιζηημίος ηος Liverpool ( ). -Demonstrator ζηο ημήμα Computer Science ηος Πανεπιζηημίος ηος Liverpool ( ). ΞΔΝΔ ΓΛΩΔ Αγγλικά, Γαλλικά, Ιηαλικά (working level) ΔΠΙΣΗΜΟΝΙΚΗ ΔΙΓΙΚΔΤΗ Η επιζηημονική ηος ειδίκεςζη είναι ζηην Σεσνολογία Λογιζμικού και ειδικόηεπα ζηον έλεγσο ηων ππογπαμμάηων ηων Ηλεκηπονικών Τπολογιζηών ΓΙΑΚΡΙΔΙ Σιμηηικόρ Σίηλορ Τποηπόθος από ηο Ι.Κ.Τ. ( και ) Δύθημορ Μνεία από ηον Απσηγό Γ.Δ.Α. για εκπόνηζη Αναλογιζηικήρ Μελέηηρ για ηο Μεηοσικό Σαμείο Αεποποπίαρ (1991) ΓΗΜΟΙΔΤΜΔΝΟ ΔΠΙΣΗΜΟΝΙΚΟ ΔΡΓΟ (ε πεπιοδικά, ζςνέδπια και ηόμοςρ βιβλίων) - Malevris, N., Yates, D.F. and Veevers, A. "Predictive Metric for Likely Feasibility of P- Yates, D.F. and Malevris N. "Reducing the Effects of Infeasible Paths in Branch Testing", ΑCM Software Engineering Notes, Vol 14, No 8, 1989, pp rogram Paths", Information and Software Technology, (έκδ. Δlsevier), Vol 32, No 2, 1990, pp Η δημοζίεςζη αςηή ανήκει ζηην "Special Issue on Software Quality Assurance". - Petrova, E. and Malevris, N. "Rules and Criteria for When to Stop Testing a Piece of Software", Microelectronics and Reliability, (έκδ. Pergamon Press) Vol 31, No 6, 1991, pp

2 - Karkazis, J., Boffey, T.B. and Malevris, N. "Location of Facilities Producing Airborne Pollution", Journal of the Operational Research Society, Vol 43, No 4, 1992, pp Malevris, N. "A Path Generation Method for Testing LCSAJs that Restrains Infeasible Paths", Information and Software Technology, Vol 37, No 8, 1995, pp (έκδ. Elsevier Science) - Yates, D.F. and Malevris, N. "The Effort Required by LCSAJ Testing: An Assessment Via a New Path Generation Strategy", Software Quality Journal, Vol 4, No 3, Sept 1995, pp (εκδ. Springer) - Koutsikas, C. and Malevris, N. A New Script Language Applicable to Symbolic Execution Systems International Journal of Computers & Applications, Vol 28, No 1, 2006, pp Malevris, N. and Yates, D.F. The Collateral Coverage of Data Flow Criteria When Branch Testing, Information and Software Technology, Vol 48, No 8, 2006, pp (έκδ. Elsevier Science) - Gardikiotis, S.K., Lazarou, V.S., Malevris, Ν. Utilising Agent Technology for Database Applications Software Engineering, International Journal of Electronics and Computer Science, Vol.9 No.2, pp.35-48, December 2007 (invited paper) - Yates, D.F. and Malevris, N. An objective comparison of the cost effectiveness of three testing methods, Information and Software Technology, Vol 49 No 9-10, 2007, pp , (έκδ. Elsevier Science). - Efthimiadis, E. N., Malevris, N., Kousaridas, A., Lepeniotou, A., and Loutas, N. Non-English Web Search: An Evaluation of Indexing and Searching the Greek Web, Information Retrieval Journal, ed. Springer,12(3), 2009, pp Gardikiotis, S K. and Malevris, N. A Two-folded Impact Analysis of Schema Changes on Database Applications, International Journal of Automation and Computing, ed Springer, 6(2): , May Yates, D.F. and Malevris, N. "Inclusion,subsumption, JJ-paths, and structured path testing : a Redress", Software Testing Verification and Reliability Journal, ed Wiley 19(3): , Papadakis, M. and Malevris, N. Automatically performing weak mutation with the aid of: symbolic execution, concolic and search-based testing, Software Quality Journal, 19(4), pp , 2011.Springer - Papadakis, M. and Malevris, N. Mutation based test case generation via a path selection strategy,information and Software Technology Journal, ed Elsevier, 54(9), pp , September Papadakis, M. and Malevris, N. Searching and generating test inputs for mutation testing, SpringerPlus 2013, 2:121 doi: / Μαλεύπηρ, Ν. και Πέηποβα, Δ. "ηαηιζηική Μονηελοποίηζη ηηρ Γιαδικαζίαρ Δλέγσος και Δύπεζηρ Λαθών ζηα Ππογπάμμαηα Η/Τ", έσει δημοζιεςθεί ζηην Δπιζηημονική Δπεηηπίδα ηος Πανεπιζηημίος Μακεδονίαρ, Σόμορ 12, Σεύσορ ΙΙ, ζελ , Οι επγαζίερ έσοςν γίνει δεκηέρ μεηά από κπίζη. 1

3 - Lazarou, V.S., Gardikiotis, S.K. and Malevris, N. Agent Systems in Software Engineering, Book chapter in Tools in Artificial Intelligence, Edited by P. Fritzsche, In-Teh Education and Publishing KG, Vienna, Austria, pp , August 2008 (book chapter invitation) - Yates, D.F. and Malevris N. "Reducing The Effects οf Infeasible Paths in Branch Testing", είναι δημοζιεςμένη ζηα Proceedings of the ACM SIGSOFT '89 "Third Symposium on Software Testing, Analysis and Verification" (TAV3), εκδ. R.A. Kemmerer, Key West, Florida, Γεκέμβπιορ Malevris, N. "Investigating Software Testing for Parallel Computing", Proceedings of First World Conference on "Parallel Computing in Engineering and Engineering Education", Paris, October Σο ζςνέδπιο αςηό οπγανώνεηαι από ηην UNESCO. - Malevris, N. and Petrova, E. "A Criterion for When to Stop Testing Upon Achievement of High Reliability", Proceedings of the First Hellenic Conference on Mathematics and Informatics (HERMIS '92), εκδ. E. A. Lipitakis, Αθήνα Malevris, N. and Petrova, E. A general Model of the Software Testing Process With Immediate Correction of the Revealed Errors Proceedings of the Third Hellenic Conference on Mathematics and Informatics (HERMIS '96), εκδ. E. A. Lipitakis, Αθήνα Malevris, N. An Assessment of the Number of Paths Needed for Control Flow Testing, Proceedings of the 3 rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS 97), 29 th -30 th May 1997, Athens - Koutsikas, C., Staikos, D., Bitsakos, K., Papaspyrou, N. and Malevris, N. Testing a Communications Driver for the IEEE 1394 High Speed Serial Bus Standard The Seventh International Conference on Practical Software Quality Techniques, PSQT/PSTT, Minneapolis, Minnesota, Malevris, N. and Petrova, E. On the Determination of an Appropriate Time for Ending the Software Testing Process, Proceedings of the First Asia-Pacific Conference on Quality Software, APAQS/IEEE, Hong Kong, Οκηωβπίος, Koutsikas, C., Malevris, N. and Skordalakis, E. SYMEXLAN- A Symbolic Execution Script Language Proceedings of the ΙASTED International Conference on Software Engineering and Applications, Las Vegas, Nevada, November 6-9, Koutsikas, C. and Malevris, N. Test Data Generation with the Aid of Symbolic Execution Proceedings of IASTED International Symposia on Applied Informatics, Innsbruck Austria, Φεβποςαπίος Koutsikas, C. and Malevris, N. A Unified Symbolic Execution System Proceedings ACS/IEEE International Conference on Computer Systems and Applications, Beirut, Lebanon, Iοςνίος Mastorantonakis, M. and Malevris, N. An Effective Method for Mutating JAVA Programs Proceedings of the Seventh ΙASTED International Conference on Software Engineering and Applications, Marina del Rey, CA, USA, 3-5 Νοεμβπίος,

4 - Malevris, N. On Structually Testing Java Programs Effectively ACM, Proceedings of the 3 rd International Conference on Principles and Practice of Programming in JAVA (PPPJ), Las Vegas, Nevada Ιοςνίος, Gardikiotis, S.K., Malevris, N. and Konstantinou, T. A Structural Approach Towards the Maintenance of Database Applications International Database Engineering and Applications Symposium (IDEAS 04)/IEEE, Coimbra, Portugal, Ιούλιορ Yates, D.F. and Malevris, N. A Study of the Reciprocal Collateral Coverage Provided by Two Testing Methods ; Proceedings of UKtest 2005, UK Software Testing Research III, University of Sheffield, UK, 5-6 September 2005 pp Gardikiotis, S.K. and Malevris, N. DaSIAn: A Tool for Estimating the Impact of Database Schema Modifications on WEB Applications, Proceedings of the 4th ACS/IEEE International Conference on Computer Systems and Applications, (AICCSA 06), IEEE Computer Society, pp , Sharjah/Dubai, UAE, March Gardikiotis, S.K. and Malevris, N. "Program Analysis and Testing of Database Applications," Proceedings of the 5th IEEE/ACIS International Conference on Computer and Information Science, IEEE Computer Society, pp , Honolulu, Hawaii, July Efthimiadis, E. N., Malevris, N., Kousaridas, A., Lepeniotou, A., & Loutas, N. How do Search Engines Handle Greek Queries?, ACM SIGIR 2007, inews07 Workshop, Amsterdam, The Netherlands, July 27, Gardikiotis, S.K., Lazarou, V.S. and Malevris, N. "An Agent-based Approach for the Maintenance of Database Applications", Proceedings of the 5th International Conference on Software Engineering Research, Management and Applications, IEEE Computer Society, pp , Busan, Korea, August Gardikiotis, S.K., Lazarou, V.S. and Malevris, N. Employing Agents towards Database Applications Testing, Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence, IEEE Computer Society, pp , Patras, Greece, October Efthimiadis, E. N., Malevris, N., Kousaridas, A., Lepeniotou, A., & Loutas, N. An Evaluation of How Search Engines Respond to Greek Language Queries, In HICSS-41: IEEE Hawaii International Conference on System Sciences, Waikoloa, Big Island, Hawaii., January 7-10, Papadakis, M. and Malevris, N. Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution, AIAI nd Artificial Intelligence Techniques in Software Engineering Workshop, IFIP, Thessaloniki, Greece, April 2009, pp Papadakis, M. and Malevris, N. An Effective Path Selection Strategy for Mutation Testing, 16 th IEEE Asia-Pacific Software Engineering Conference (APSEC 2009), 1-3 December 2009, Penang, Malaysia, pp

5 - Papadakis, M. and Malevris, N. "An Empirical Evaluation of the First and Second Order Mutation Testing Strategies", in Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10), ICST workshop, IEEE Computer Society, Paris, France, April 2010, pp Papadakis, M., Malevris, N. and Kallia, M. "Towards Automating the Generation of Mutation Tests", in Proceedings of the 5th International Workshop on Automation of Software Test (AST'10), ICSE Workshop ACM/IEEE, Cape Town, South Africa, May 2010, pp Papadakis, M. and Malevris, N. "A Symbolic Execution Tool Based on the Elimination of Infeasible Paths", in Proceedings of the 5th International Conference on Software Engineering Advances (ICSEA'10), Nice, France, August 2010, pp Papadakis, M., Malevris, N., and Kintis, M. "Mutation Testing Strategies: A Collateral Approach", in Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT'10), Athens, Greece, July 2010 pp Papadakis, M. and Malevris, N. "Automatic Mutation Test Case Generation Via Dynamic Symbolic Execution", in 21st IEEE International Symposium on Software Reliability Engineering (ISSRE'10), San Jose, California, USA, November 2010, pp Kintis, M., Papadakis, M. and Malevris, N. "Evaluating Mutation Testing Alternatives: A Collateral Experiment", in 17th IEEE Asia-Pacific Software Engineering Conference (APSEC'10), Sydney, Australia, December 2010, pp Papadakis, M. and Malevris, N. Automatic Mutation based Test Data Generation ACM GECCO 2011 (Genetic and Evolutionary Computation Conference), Dublin, Ireland, July Kintis, M., Papadakis, M. and Malevris, N. "Isolating First Order Equivalent Mutants via Second Order Mutation", in Proceedings of the 7th International Workshop on Mutation Analysis (MUTATION'12), ICST workshop, IEEE Computer Society, Montreal,Canada, April Papadakis, M. and Malevris, N. Killing Mutants Effectively a Search Based Approach, in Knowledge-Based Software Engineering - Proceedings of the 10th Conference on Knowledge-Based Software Engineering, JCKBSE 2012, Rhodes, Greece, August 23-26, 2012 (.JCKBSE 2012), pp Kintis, M., Malevris, N. Identifying More Equivalent Mutants via Code Similarity, in 20th IEEE Asia- Pacific Software Engineering Conference (APSEC'13), Bangok, Thailand, December Kintis, M., Malevris, N. Using Data Flow Patterns for Equivalent Mutant Detection, in Proceedings of the 9th International Workshop on Mutation Analysis (MUTATION 2014), ICST workshop, IEEE Computer Society, Cleveland, USA, March Kintis, M., Malevris, MEDIC: A static analysis framework for equivalent mutant identification, Information and Software Technology, Vol 68, Dec 2015, pp Kintis, M., Papadakis, M. and Malevris, N. Employing second-order mutation for isolating firstorder equivalent mutants Software Testing Verification and Reliability (STVR) 2015; 25: ΓΔΝΙΚΟΣΔΡΗ ΔΠΙΣΗΜΟΝΙΚΗ ΓΡΑΗ 4

6 - Δίναι μέλορ ηος "Editorial Board" ηος διεθνούρ πεπιοδικού "Software Testing Verification and Reliability" ηος εκδοηικού οίκος John Wiley & Sons Ltd. απο ηο 1991 ζήμεπα. - Δίναι μέλορ ηος "Editorial Board" ηος International Journal On Advances in Software, IARIA - Έσει διαηελέζει μέλορ επιηποπών ππογπάμμαηορ και οπγανωηικών επιηποπών διεθνών ζςνεδπίων - Έσει διαηελέζει κπιηήρ επιζηημονικών άπθπων ηόζο ζε διεθνή πεπιοδικά όζο και ζε ζςνέδπια. ΔΡΔΤΝΗΣΙΚΔ ΓΡΑΣΗΡΙΟΣΗΣΔ Έσει ζςμμεηάζσει ζε απιθμό ζεμιναπίων και ημεπίδων με ειζηγήζειρ, ζε μελέηερ και ππογπάμμαηα καθώρ και ζε διαπανεπιζηημιακέρ ζςνεπγαζίερ ΤΜΜΔΣΟΥΗ Δ ΜΔΛΔΣΔ -ΠΡΟΣΑΔΙ-ΠΡΟΓΡΑΜΜΑΣΑ-ΟΜΑΓΔ Έσει ζςμμεηάζσει ζε διάθοπα έπγα και ππογπάμμαηα επεςνηηικού κςπίωρ σαπακηήπα καθώρ επίζηρ και ζηα πλαίζια ηος ππογπάμμαηορ ERASMUS-SOCRATES ζηη δπαζηηπιόηηηα Teaching Staff Mobility και ζηην δπαζηηπιόηηηα ανάπηςξηρ Δςπωπαϊκού Μεηαπηςσιακού Ππογπάμμαηορ. Δπίζηρ ζςμμεηοσή ζηο δίκηςο ζςνεπγαζίαρ ΙΚΑΡΟ, ζε θέμαηα Αζθάλειαρ, Ποιόηηηαρ και Αξιοπιζηίαρ ΤΜΜΔΣΟΥΗ ΣΟ ΓΙΟΙΚΗΣΙΚΟ ΔΡΓΟ (Ο.Π.Α.) Έσει ζςμμεηάζσει ζε μεγάλο απιθμό επιηποπών ηος Οικονομικού Παν/μιος Αθηνών. 5