Peer-Reviewed Publications


Xiaoliang Wu, Peter Bell, Ajitha Rajan. Explanations for Automatics Speech Recognition. In IEEE ICASSP 2023 . To Appear in June 2023.

Georges Bedran, Hans-Christof Gasser, Kenneth Weke, Tongjie Wang, Dominika Bedran, Alexander Laird, Christophe Battail, Fabio Massimo Zanzotto, Catia Pesquita, Håkan Axelson, Ajitha Rajan, David Harrison, Aleksander Palkowski, Maciej Pawlik, Maciej Parys, J O'Neill, Paul Brennan, Stefan Symeonides, David Goodlett, Kevin Litchfield, Robin Fahraeus, Ted Hupp, Sachin Kote, and Javier Alfaro. The immunopeptidome from a genomic perspective: Establishing the non-canonical landscape of class I MHC-associated peptides. In Cancer Immunology Research . To Appear.


Nikolaos Louloudakis, Perry Gibson, Jose Cano, Ajitha Rajan. Assessing Robustness of Image Recognition Models to Changes in the Computational Environment. In NeurIPS ML Safety Workshop . December 2022.

Xiaoliang Wu, Ajitha Rajan Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking Proceedings of 2022 29th Asia-Pacific Software Engineering Conference (APSEC). December 2022.

Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim Hazelwood, Ajitha Rajan, Hugh Leather BenchPress: A Deep Active Benchmark Generator 31st International Conference on Parallel Architectures and Compilation Techniques (PACT), October 2022.

Amy Rafferty, Rudolf Nenutil, Ajitha Rajan Explainable Artificial Intelligence for Breast Tumour Classification: Helpful or Harmful Workshop on Interpretability of Machine Intelligence in Medical Image Computing at MICCAI 2022.. September 2022.

Dominic Phillips, Hans-Christof Gasser, Sebestyén Kamp, Aleksander Pałkowski, Diego A. Oyarzún, Ajitha Rajan, Javier Antonio Alfaro Generating Immune-aware SARS-CoV-2 Spike Proteins for Universal Vaccine Design Proceedings of the 1st Workshop on Healthcare AI and COVID-19, ICML 2022, PMLR 184:100-116, 2022. July 2022.


Hans-Christof Gasser, Georges Bedran, Bo Ren, David Goodlett, Javier Alfaro, Ajitha Rajan Interpreting BERT architecture predictions for peptide presentation by MHC class I proteins In NeurIPS Workshop 2021, eXplainable AI approaches for debugging and diagnosis. December 2021.

Vanya Yaneva, Ajitha Rajan, Christophe Dubach. GPU Acceleration of FSM Input Execution: Improving Scale and Performance In Software Testing, Verfication and Reliability (STVR) Journal. October 2021.

Sefa Akca, Chao Peng, Ajitha Rajan. Testing Smart Contracts: Which Technique Performs Best? In proceedings of the 15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) 2021. To Appear in October 2021.

Chao Peng, Ajitha Rajan, Tianqin Cai. CAT: Change-focused Android GUI Testing In proceedings of IEEE 37th International Conference on Software Maintenance and Evolution (ICSME) 2021. To Appear in September 2021.

Foivos Tsimpourlas, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamanis. Embedding and Classifying Test Execution Traces using Neural Networks IET SOftware Journal. To Appear in August 2021.


Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis. Supervised Learning over Test Executions as a Test Oracle. In proceedings of 36th ACM/SIGAPP Symposium On Applied Computing (SAC). To Appear in March 2021.

Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael O'Boyle. M3: Semantic API Migrations. In proceedings of ASE 2020. September 2020.

Chao Peng, Ajitha Rajan. Automated test generation for OpenCL kernels using fuzzing and constraint solving. In proceedings of GPGPU 2020 . Jan 2020.


Chao Peng, Sefa Akca, Ajitha Rajan. A Framework for Solidity Contract Instrumentation and Analysis In proceedings of APSEC 2019 . Dec 2019.

Sefa Akca, Ajitha Rajan, Chao Peng. SolAnalyser: A Framework for Analysing and Testing Smart Contracts. In proceedings of APSEC 2019 . Dec 2019.

Chao Peng, Ajitha Rajan. CLTestCheck: Measuring Test Effectiveness for GPU Kernels. In proceedings of FASE 2019 (held as part of ETAPS 2019) . April 2019.


Vanya Yaneva, Arnav Kapoor, Ajitha Rajan, Christophe Dubach. Accelerated Finite State Machine Test Execution Using GPUs. In proceedings of APSEC 2018 . December 2018.

Panagiotis Stratis, Vanya Yaneva, Ajitha Rajan. Assessing the Effect of Data Transformations on Test Suite Compilation. In proceedings of ESEM 2018 . October 2018.

Panagiotis Stratis, Ajitha Rajan. Speeding up Test Execution with Increased Cache Locality. Accepted in STVR Journal. DOI: 10.1002/stvr.1671. To Appear in August 2018 - Volume 28, Issue 5.


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

Vanya Yaneva, Ajitha Rajan, Christophe Dubach. ParTeCL: Parallel Testing Using OpenCL. 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.

2015 and Earlier

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

Panagiotis Stratis, Ajitha Rajan. Speeding Up Test Execution with Increased Cache Locality. Accepted with minor revisions in STVR journal. March 2018.

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

Panagiotis Stratis, Ajitha Rajan. Poster: Reordering Tests for Faster Test Suite Execution. In ICSE 2018 Posters Track. May 2018.

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.