Peer-Reviewed Publications

Vanya Yaneva, Ajitha Rajan, Christophe Dubach. Compiler-Assisted Test Acceleration on GPUs for Embedded Software. To Appear in proceedings of ISSTA 2017 . July 2017.

Vanya Yaneva, Ajitha Rajan, Christophe Dubach. ParTeCL: Parallel Testing Using OpenCL. To Appear in proceedings of ISSTA 2017 Demonstrations . July 2017.

Boris Penev, Ajitha Rajan. Sensitivity of Application Performance to Resource Availability. In proceedings of ValueTools 2016. October 2016.

Panagiotis Stratis, Ajitha Rajan . Test Case Permutation to Improve Execution Time. In proc. ASE 2016 . September 2016.

Ajitha Rajan , Adel Noureddine, Panagiotis Stratis. A Study on the Influence of Software and Hardware Features on Program Energy. In proceedings of ESEM 2016. September 2016.

Gregory Gay, Ajitha Rajan , Matt Staats, Michael Whalen, Mats Heimdahl. The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. TOSEM Journal. Volume 25, Issue 3. August 2016.

Ajitha Rajan . Measuring Change Impact on Program Behaviour.Validation of Evolving Software. 2015. Pages 125 - 145. Springer International Publishing.

Adel Noureddine, Ajitha Rajan . Optimising Energy Consumption of Design Patterns. In proceedings of ICSE 2015 in the NIER track, Italy, May 2015.

Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening. Accelerated test execution using GPUs. In proceedings of ASE 2014, pages 97-102, Sweden, Nov 2014.

PINCETTE - Validating Changes and Upgrades in Networked Software. In proceedings of CSMR 2013, pages 461-464.

Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. In proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2011 , Pages 85-101, July 2011.

Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-Based Test Oracles for Home Automation Systems. 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010) held within ASE 2010, Antwerp, Belgium, Sep 2010.

Matt Staats, Michael Whalen, Ajitha Rajan, and Mats Heimdahl. Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. Second NASA Formal Methods Symposium, Washington D.C., USA, April 2010.

Lydie Du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, and German Vega. Service Specification and Validation in the Context of the Home. In Proceedings of the 10th International Conference on Feature Interactions (ICFI 2009), Lisbon, Portugal. Jun 2009.

Ajitha Rajan, Michael Whalen, Matt Staats and Mats Heimdahl. Requirements Coverage as an Adequacy Measure for Conformance Testing. In Proceedings of the 10th International Conference on Formal Engineering Methods(ICFEM 2008), pages 86 - 104, Kitakyushu, Japan, Oct 2008.

Ajitha Rajan, Michael Whalen and Mats Heimdahl. The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage. In Proceedings of the 22nd IEEE International Conference on Software Engineering (ICSE 2008), pages 161-170, Leipzig, Germany, May 2008. Awarded ACM Distinguished Paper.

Mats P.E.~Heimdahl, Michael W.~Whalen, Ajitha Rajan, and Matt Staats. On MC/DC and Implementation Structure: An Empirical Study. Proceedings of the 27th IEEE Digital Avionics Systems Conference -- DASC 2008. Oct 26-30, 2008.

Matt Staats, Weijia Deng, Ajitha Rajan, Mats Heimdahl, Kurt Woodham. ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, {ASE 2008} (Tools Paper), pages 499 - 500, L'Aquila, Italy, Sep 2008.

Ajitha Rajan and Mats Heimdahl. Challenges in Automated Testing Beyond Test Case Generation. Workshop on State-space Exploration for Automated Testing (SSEAT 2008, co-located with ISSTA?08), Seattle, USA, July 2008.

Ajitha Rajan and Mats Heimdahl. Assessing Requirements Quality Through Requirements Coverage. The Sixth NASA Langley Formal Methods Workshop, Virginia, USA, May 2008.

Ajitha Rajan, Michael Whalen and Mats Heimdahl. Model Validation Using Automatically Generated Requirements-Based Tests. In Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium (HASE 2007), pages 95-104, Dallas, USA, November 2007.

Renee Bryce, Ajitha Rajan and Mats Heimdahl. Interaction Testing in Model-Based Development: Effect on Model Coverage. In Proceedings of the 13th Asia Pacific Conference on Software Engineering (APSEC 2006), pages 259-268, Bangalore, India, Dec 2006.

Michael Whalen, Ajitha Rajan, Mats Heimdahl and Steven Miller. Coverage Metrics for Requirements-Based Testing. In Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis , (ISSTA 2006), pages 25-36, Portland, USA, July, 2006.

Books and Journals

Gregory Gay, Ajitha Rajan, Matt Staats, Michael Whalen, and Mats Heimdahl. The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Transactions on Software Engineering and Methodology (TOSEM). August 2016. [PDF]

Author of Chapter in the book, Validation of Evolving Software, published by Springer in August 2015. ISBN 978-3-319-10623-6.

Co-ordinator and editor of the CESAR Project Book. CESAR is a European funded project from ARTEMIS Joint Undertaking. The book was published by Springer International in May 2013. Glimpse available here .

Other Publications

Pamela Farries, Ajitha Rajan. PINCETTE - Validating Changes and Upgrades in Networked Software. ERCIM News 2012(88).

Ajitha Rajan. Coverage Metrics to Measure Adequacy of Black-Box Test Suites. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, {ASE 2006} (Doctoral Symposium), pages 335-338, Tokyo, Japan, Sep 2006.

Mats Heimdahl, Michael Whalen, Ajitha Rajan and Steven Miller. Testing Strategies for Model-Based Development. NASA Technical Report. 2006. Document ID: 20060018336; Report Number: NASA CR-2006-214307.