Edinburgh Research Explorer

Dr Ajitha Rajan

Chancellor's Fellow

Research Interests

My research is in the field of software engineering and strives to address challenges in software validation and verification through the use of formal methods. I am especially interested in defining quality metrics for software. I am interested in coverage metrics for code, design, and requirements - not necessarily in that order. I am also interested in automated test case generation, reduction and execution. My recent research focuses on executing test cases on GPUs. I am also working on cost models for incremental software and defining adequacy metrics for regression testing.

Qualifications

2008 PhD in Computer Science, University of Minnesota
2007 MSc in Computer Science, University of Minnesota
2002 BTech in Information Technology, University of Madras 

Biography

I am a Lecturer and Chancellor's Fellow at the School of Informatics in the University of Edinburgh (since December 2012).

Previously, I was a post-doc at Oxford University, Computer Science Department and at Laboratoire d'Informatique de Grenoble (LIG) at Grenoble, France. I graduated with a PhD in Computer Science from the University of Minnesota in Aug 2008. My PhD advisor is Prof. Mats Heimdahl. 

Research outputs

  1. Test Case Permutation to Improve Execution Time

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Compiler-Assisted Test Acceleration on GPUs for Embedded Software

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. ParTeCL: Parallel Testing Using OpenCL

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (25) »

ID: 5679667