Interaction Testing in Model-Based Development: Effect on Model-Coverage. - Renée C. Bryce; Ajitha Rajan; Mats Per Erik Heimdahl (APSEC, 2006)

Coverage metrics for requirements-based testing. - Michael W. Whalen; Ajitha Rajan; Mats Per Erik Heimdahl; Steven P. Miller (ISSTA, 2006)

Coverage Metrics to Measure Adequacy of Black-Box Test Suites. - Ajitha Rajan (ASE, 2006)

Automated requirements-based test case generation. - Ajitha Rajan (ACM SIGSOFT Softw. Eng. Notes, 2006)

Model Validation using Automatically Generated Requirements-Based Tests. - Ajitha Rajan; Michael W. Whalen; Mats Per Erik Heimdahl (HASE, 2007)

Requirements Coverage as an Adequacy Measure for Conformance Testing. - Ajitha Rajan; Michael W. Whalen; Matt Staats; Mats Per Erik Heimdahl (ICFEM, 2008)

The effect of program and model structure on mc/dc test adequacy coverage. - Ajitha Rajan; Michael W. Whalen; Mats Per Erik Heimdahl (ICSE, 2008)

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. - Matt Staats; Weijia Deng; Ajitha Rajan; Mats Per Erik Heimdahl; Kurt Woodham (ASE, 2008)

Service specification and validation in the context of the home. - Lydie du Bousquet; Ajitha Rajan; Catherine Oriat; Jean-Luc Richier; Germán Vega (ICFI, 2009)

Assertion-based test oracles for home automation systems. - Ajitha Rajan; Lydie du Bousquet; Yves Ledru; Germán Vega; Jean-Luc Richier (MOMPES, 2010)

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. - Matt Staats; Michael W. Whalen; Ajitha Rajan; Mats Per Erik Heimdahl (NASA Formal Methods, 2010)

Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. - Virginia Papailiopoulou; Ajitha Rajan; Ioannis Parissis (FMICS, 2011)

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

PINCETTE - Validating Changes and Upgrades in Networked Software. - Hana Chockler; Giovanni Denaro; Meijia Ling; Grigory Fedyukovich; Antti Eero Johannes Hyvärinen; Leonardo Mariani; Ali Muhammad; Manuel Oriol; Ajitha Rajan; Ondrej Sery; Natasha Sharygina; Michael Tautschnig (CSMR, 2013)

Accelerated test execution using GPUs. - Ajitha Rajan; Subodh Sharma 001; Peter Schrammel; Daniel Kroening (ASE, 2014)

Measuring Change Impact on Program Behaviour. - Ajitha Rajan; Daniel Kroening (Validation of Evolving Software, 2015)

Optimising Energy Consumption of Design Patterns. - Adel Noureddine; Ajitha Rajan (ICSE (2), 2015)

A Study on the Influence of Software and Hardware Features on Program Energy. - Ajitha Rajan; Adel Noureddine; Panagiotis Stratis (ESEM, 2016)

Test case permutation to improve execution time. - Panagiotis Stratis; Ajitha Rajan (ASE, 2016)

Sensitivity of Application Performance to Resource Availability. - Ajitha Rajan; Boris Penev (VALUETOOLS, 2016)

The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. - Gregory Gay 002; Ajitha Rajan; Matt Staats; Michael W. Whalen; Mats Per Erik Heimdahl (ACM Trans. Softw. Eng. Methodol., 2016)

Compiler-assisted test acceleration on GPUs for embedded software. - Vanya Yaneva; Ajitha Rajan; Christophe Dubach (ISSTA, 2017)

ParTeCL: parallel testing using OpenCL. - Vanya Yaneva; Ajitha Rajan; Christophe Dubach (ISSTA, 2017)

Accelerated Finite State Machine Test Execution Using GPUs. - Vanya Yaneva; Arnav Kapoor; Ajitha Rajan; Christophe Dubach (APSEC, 2018)

Assessing the effect of data transformations on test suite compilation. - Panagiotis Stratis; Vanya Yaneva; Ajitha Rajan (ESEM, 2018)

Reordering tests for faster test suite execution. - Panagiotis Stratis; Ajitha Rajan (ICSE (Companion Volume), 2018)

Speeding up test execution with increased cache locality. - Panagiotis Stratis; Ajitha Rajan (Softw. Test. Verification Reliab., 2018)

SolAnalyser: A Framework for Analysing and Testing Smart Contracts. - Sefa Akca; Ajitha Rajan; Chao Peng 002 (APSEC, 2019)

SIF: A Framework for Solidity Contract Instrumentation and Analysis. - Chao Peng 002; Sefa Akca; Ajitha Rajan (APSEC, 2019)

CLTestCheck: Measuring Test Effectiveness for GPU Kernels. - Chao Peng 002; Ajitha Rajan (FASE, 2019)

SIF: A Framework for Solidity Code Instrumentation and Analysis. - Chao Peng 002; Ajitha Rajan (CoRR, 2019)

M3: Semantic API Migrations. - Bruce Collie; Philip Ginsbach; Jackson Woodruff; Ajitha Rajan; Michael F. P. O'Boyle (ASE, 2020)

Automated test generation for OpenCL kernels using fuzzing and constraint solving. - Chao Peng 002; Ajitha Rajan (GPGPU@PPoPP, 2020)

Learning to Encode and Classify Test Executions. - Foivos Tsimpourlas; Ajitha Rajan; Miltiadis Allamanis (CoRR, 2020)

CAT: Change-focused Android GUI Testing. - Chao Peng 002; Ajitha Rajan (CoRR, 2020)

Testing Smart Contracts: Which Technique Performs Best? - Sefa Akca; Chao Peng 002; Ajitha Rajan (ESEM, 2021)

CAT: Change-focused Android GUI Testing. - Chao Peng 002; Ajitha Rajan; Tianqin Cai (ICSME, 2021)

Supervised learning over test executions as a test oracle. - Foivos Tsimpourlas; Ajitha Rajan; Miltiadis Allamanis (SAC, 2021)

Blackbox Untargeted Adversarial Testing of Automatic Speech Recognition Systems. - Xiaoliang Wu 003; Ajitha Rajan (CoRR, 2021)

BenchPress: A Deep Active Benchmark Generator. - Foivos Tsimpourlas; Pavlos Petoumenos; Min Xu; Chris Cummins; Kim M. Hazelwood; Ajitha Rajan; Hugh Leather (PACT, 2022)

Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking. - Xiaoliang Wu 003; Ajitha Rajan (APSEC, 2022)

Generating Immune-aware SARS-CoV-2 Spike Proteins for Universal Vaccine Design. - Dominic Phillips; Hans-Christof Gasser; Sebesyén Kamp; Aleksander Palkowski; Lukasz Rabalski; Diego A. Oyarzún; Ajitha Rajan; Javier Antonio Alfaro (Healthcare AI and COVID-19 Workshop, 2022)

Explainable Artificial Intelligence for Breast Tumour Classification: Helpful or Harmful. - Amy Rafferty; Rudolf Nenutil; Ajitha Rajan (iMIMIC@MICCAI, 2022)

Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. - Xin Du 006; Bénédicte Legastelois; Bhargavi Ganesh; Ajitha Rajan; Hana Chockler; Vaishak Belle; Stuart Anderson; Subramanian Ramamoorthy (CoRR, 2022)

Exploring Effects of Computational Parameter Changes to Image Recognition Systems. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (CoRR, 2022)

Embedding and classifying test execution traces using neural networks. - Foivos Tsimpourlas; Gwenyth Rooijackers; Ajitha Rajan; Miltiadis Allamanis (IET Softw., 2022)

GPU acceleration of finite state machine input execution: Improving scale and performance. - Vanya Yaneva; Ajitha Rajan; Christophe Dubach (Softw. Test. Verification Reliab., 2022)

Explanations for Automatic Speech Recognition. - Xiaoliang Wu 003; Peter Bell 001; Ajitha Rajan (ICASSP, 2023)

DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (ICSME, 2023)

Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (ASE, 2023)

Challenges in Explaining Brain Tumor Detection. - Bénédicte Legastelois; Amy Rafferty; Paul Brennan; Hana Chockler; Ajitha Rajan; Vaishak Belle (TAS, 2023)

BenchDirect: A Directed Language Model for Compiler Benchmarks. - Foivos Tsimpourlas; Pavlos Petoumenos; Min Xu; Chris Cummins; Kim M. Hazelwood; Ajitha Rajan; Hugh Leather (CoRR, 2023)

Vaxformer: Antigenicity-controlled Transformer for Vaccine Design Against SARS-CoV-2. - Aryo Pradipta Gema; Michal Kobiela; Achille Fraisse; Ajitha Rajan; Diego A. Oyarzún; Javier Antonio Alfaro (CoRR, 2023)

Knowledge Graph Embeddings in the Biomedical Domain: Are They Useful? A Look at Link Prediction, Rule Learning, and Downstream Polypharmacy Tasks. - Aryo Pradipta Gema; Dominik Grabarczyk; Wolf De Wulf; Piyush Borole; Javier Antonio Alfaro; Pasquale Minervini; Antonio Vergari; Ajitha Rajan (CoRR, 2023)

MutateNN: Mutation Testing of Image Recognition Models Deployed on Hardware Accelerators. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (CoRR, 2023)

Fault Localization for Framework Conversions of Image Recognition Models. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (CoRR, 2023)

A Differential Testing Framework to Evaluate Image Recognition Model Robustness. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (CoRR, 2023)

Fix-Con: Automatic Fault Localization and Repair of Deep Learning Model Conversions. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (CoRR, 2023)

Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition. - Xiaoliang Wu 003; Peter Bell 001; Ajitha Rajan (ICASSP, 2024)

Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning. - Chao Peng 002; Zhengwei Lv; Jiarong Fu; Jiayuan Liang; Zhao Zhang; Ajitha Rajan; Ping Yang (ICSE-SEIP, 2024)

Transparent and Clinically Interpretable AI for Lung Cancer Detection in Chest X-Rays. - Amy Rafferty; Rishi Ramaesh; Ajitha Rajan (CoRR, 2024)

Explainable Attribute-Based Speaker Verification. - Xiaoliang Wu 003; Chau Luu; Peter Bell 001; Ajitha Rajan (CoRR, 2024)

Go-Oracle: Automated Test Oracle for Go Concurrency Bugs. - Foivos Tsimpourlas; Chao Peng 002; Carlos Rosuero; Ping Yang; Ajitha Rajan (CoRR, 2024)

Tracing Pain: Predictive Modeling for Migraine and Headache Triggers. - Israa Alqassem; Piyush Borole; Ammar Shaker; Ajitha Rajan (ICHI, 2025)

CoRPA: Adversarial Image Generation for Chest X-rays Using Concept Vector Perturbations and Generative Models. - Amy Rafferty; Rishi Ramaesh; Ajitha Rajan (ICHI, 2025)

Leveraging Expert Input for Robust and Explainable AI-Assisted Lung Cancer Detection in Chest X-rays. - Amy Rafferty; Rishi Ramaesh; Ajitha Rajan (ICHI, 2025)

Exploring Robustness of Image Recognition Models on Hardware Accelerators. - Nikolaos Louloudakis; Perry Gibson; José Cano 001; Ajitha Rajan (ICSTW, 2025)

MHCRule - Rule-based Model for Interpretable MHC Class I Binding Prediction. - Piyush Borole; Ajitha Rajan (SAC, 2025)

Metric-Guided Synthesis of Class Activation Mapping. - Alejandro Luque-Cerpa; Elizabeth Polgreen; Ajitha Rajan; Hazem Torfah (CoRR, 2025)

OODTE: A Differential Testing Engine for the ONNX Optimizer. - Nikolaos Louloudakis; Ajitha Rajan (CoRR, 2025)

Explainability Through Human-Centric Design for XAI in Lung Cancer Detection. - Amy Rafferty; Rishi Ramaesh; Ajitha Rajan (CoRR, 2025)

Selective Quantization Tuning for ONNX Models. - Nikolaos Louloudakis; Ajitha Rajan (CoRR, 2025)