My research is in the field of software engineering and strives to address challenges in software validation
and verification. I am especially interested in
- Defining quality metrics for software.
I am interested in coverage metrics for code, design, and requirements.
- Automated test case generation, reduction and execution.
My recent research focuses on executing test cases on GPUs.
- Optimising energy consumed by software. We investigated the energy consumed by software design patterns and proposed compiler optimisations for a couple fo the patterns in recent work.
- Economic models for incremental software and software on the cloud.
I am looking for PhD students. Research topics include metrics for concurrent program analysis, optimising software energy consumption, economic models and adequacy metrics for regression testing, accelerated test execution on GPUs.
Fully funded PhD studentships are available through the EPSRC funded Centre for Doctoral Training in Pervasive Parallelism.
- 4/1/16: ESEM'16 paper accepted. Title: "A Study on the Influence of Software and Hardware Features on Program Energy".
- 29/4/16: TOSEM journal paper accepted for publication!
- 26/8/15: The TOSEM journal paper on "The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage" has been accepted with minor revisions.
- 7/8/15: I have authored the chapter on "Change Impact metrics" in the book "Validation of Evolving Software" recently published by Springer. ISBN 978-3-319-10623-6.
- 3/8/15: Panos Stratis joins as a PhD student.
- 9/2/15: Awarded GCHQ grant to perform accelerated security testing using GPUs.
- 21/1//15:Paper on "Optimising Energy Consumption of Design Patterns" accepted at ICSE'15 in the new ideas track.
- 1/8/14:Adel Nourredine joins the group as a Post-doctoral research assistant.
- 30/6/14:Paper on "Accelerated Test Execution usign GPUs" was accepted at ASE'14 in the new ideas track.
- 1/6/14:Sivaprakash Senapathi started his summer internship at IBM and will work with us on the EPSRC project.
- 8/2/14: EPSRC First Grant Awarded. The project will define cost models for regression test effort in collaboration with IBM Edinburgh. Project is due to start on 1/8/14.
I edited a book along with Thomas Wahl for the European funded project, CESAR. The book was published by Springer in March 2013. A glimpse of the book is available here.