Regular biography
Ajitha Rajan holds the Personal Chair of Software Testing and Verification at The University of Edinburgh's Department of Computer Science. Her work focuses on software testing and verification, with a particular emphasis on ensuring the reliability and correctness of software systems. She is affiliated with the university's Computer Science department and can be contacted via email at arajan@exseed.ed.ac.uk. Her professional profile is available at https://www.ed.ac.uk/Ajitha_Rajan.html.
Scholar-generated biography
Ajitha Rajan is a researcher in Software Engineering at the University of Edinburgh. Her work focuses on improving testing methodologies and tools for software and smart contracts. She has published extensively on coverage metrics for requirements-based testing, MC/DC test adequacy coverage, and the effectiveness of test strategies. Her research also explores the optimization of energy consumption in design patterns and the use of GPU acceleration for test execution. Additionally, she has contributed to the development of frameworks for analyzing and testing smart contracts, such as Solanalyser and SIF. Her studies emphasize the importance of model structure and semantic API migrations in enhancing test coverage and efficiency.