Ajitha Rajan

Home

I am currently a Post-Doc at Laboratoire d’Informatique de Grenoble (LIG) at Grenoble, France. My research as a Post-Doc focuses on addressing testing challenges in service-oriented computing.

I graduated with a PhD in Computer Science from the University of Minnesota on Aug 2008. My PhD advisor is Prof. Mats Heimdahl. My research was aimed at using  formal methods for automated verification and validation of critical systems. 

 

5 Allee de la Faculte de Pharmacie

Apt 102

Meylan 38240

France

Email: ajitha.rajan(AT)gmail.com

Contact:

 

PhD Thesis: Coverage Metrics for Requirements-Based Testing.  I have defined coverage metrics directly on the structure of formal high level requirements. These coverage metrics can be used to assess how well the requirements have been exercised and if they are sufficiently defined for the system. Presently, the metrics are defined for requirements formalized as temporal logic properties, but the same idea can be applied to requirements formalized in other notations, such as state machines or synchronous observers. I have also investigated using these metrics to automatically generate requirements-based tests for system validation.

 

 

 

 

Future Plan: I am interested in  applying for faculty  positions starting in fall 2009.  Please do contact me if your institute is inviting applications for software engineering faculty.