Ajitha Rajan

According to our database, Ajitha Rajan authored at least 62 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Explainable Attribute-Based Speaker Verification.

Xiaoliang Wu, Chau Luu, Peter Bell, Ajitha Rajan

CoRR, 2024

Transparent and Clinically Interpretable AI for Lung Cancer Detection in Chest X-Rays.

Amy Rafferty, Rishi Ramaesh, Ajitha Rajan

CoRR, 2024

Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning.

Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang, Zhao Zhang, Ajitha Rajan, Ping Yang

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition.

Xiaoliang Wu, Peter Bell, Ajitha Rajan

Proceedings of the IEEE International Conference on Acoustics, 2024

2023

Fix-Con: Automatic Fault Localization and Repair of Deep Learning Model Conversions.

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

CoRR, 2023

A Differential Testing Framework to Evaluate Image Recognition Model Robustness.

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

CoRR, 2023

Fault Localization for Framework Conversions of Image Recognition Models.

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

CoRR, 2023

MutateNN: Mutation Testing of Image Recognition Models Deployed on Hardware Accelerators.

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

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

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

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

Challenges in Explaining Brain Tumor Detection.

Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition.

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models.

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Explanations for Automatic Speech Recognition.

Xiaoliang Wu, Peter Bell, Ajitha Rajan

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

GPU acceleration of finite state machine input execution: Improving scale and performance.

Vanya Yaneva, Ajitha Rajan, Christophe Dubach

Softw. Test. Verification Reliab., 2022

Embedding and classifying test execution traces using neural networks.

Foivos Tsimpourlas, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamanis

IET Softw., 2022

Exploring Effects of Computational Parameter Changes to Image Recognition Systems.

Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

CoRR, 2022

Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities.

Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy

CoRR, 2022

Explainable Artificial Intelligence for Breast Tumour Classification: Helpful or Harmful.

Amy Rafferty, Rudolf Nenutil, Ajitha Rajan

Proceedings of the Interpretability of Machine Intelligence in Medical Image Computing, 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

Proceedings of the 1st Workshop on Healthcare AI and COVID-19, 2022

Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking.

Xiaoliang Wu, Ajitha Rajan

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

BenchPress: A Deep Active Benchmark Generator.

Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022

2021

Blackbox Untargeted Adversarial Testing of Automatic Speech Recognition Systems.

Xiaoliang Wu, Ajitha Rajan

CoRR, 2021

Supervised learning over test executions as a test oracle.

Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

CAT: Change-focused Android GUI Testing.

Chao Peng, Ajitha Rajan, Tianqin Cai

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Testing Smart Contracts: Which Technique Performs Best?

Sefa Akca, Chao Peng, Ajitha Rajan

Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

2020

CAT: Change-focused Android GUI Testing.

Chao Peng, Ajitha Rajan

CoRR, 2020

Learning to Encode and Classify Test Executions.

Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis

CoRR, 2020

Automated test generation for OpenCL kernels using fuzzing and constraint solving.

Chao Peng, Ajitha Rajan

Proceedings of the GPGPU@PPoPP '20: 13th Annual Workshop on General Purpose Processing using Graphics Processing Unit colocated with 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

M3: Semantic API Migrations.

Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

SIF: A Framework for Solidity Code Instrumentation and Analysis.

Chao Peng, Ajitha Rajan

CoRR, 2019

CLTestCheck: Measuring Test Effectiveness for GPU Kernels.

Chao Peng, Ajitha Rajan

Proceedings of the Fundamental Approaches to Software Engineering, 2019

SIF: A Framework for Solidity Contract Instrumentation and Analysis.

Chao Peng, Sefa Akca, Ajitha Rajan

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

SolAnalyser: A Framework for Analysing and Testing Smart Contracts.

Sefa Akca, Ajitha Rajan, Chao Peng

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Speeding up test execution with increased cache locality.

Panagiotis Stratis, Ajitha Rajan

Softw. Test. Verification Reliab., 2018

Reordering tests for faster test suite execution.

Panagiotis Stratis, Ajitha Rajan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Assessing the effect of data transformations on test suite compilation.

Panagiotis Stratis, Vanya Yaneva, Ajitha Rajan

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

Accelerated Finite State Machine Test Execution Using GPUs.

Vanya Yaneva, Arnav Kapoor, Ajitha Rajan, Christophe Dubach

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

ParTeCL: parallel testing using OpenCL.

Vanya Yaneva, Ajitha Rajan, Christophe Dubach

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Compiler-assisted test acceleration on GPUs for embedded software.

Vanya Yaneva, Ajitha Rajan, Christophe Dubach

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage.

Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

ACM Trans. Softw. Eng. Methodol., 2016

Sensitivity of Application Performance to Resource Availability.

Ajitha Rajan, Boris Penev

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Test case permutation to improve execution time.

Panagiotis Stratis, Ajitha Rajan

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

A Study on the Influence of Software and Hardware Features on Program Energy.

Ajitha Rajan, Adel Noureddine, Panagiotis Stratis

Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

2015

Optimising Energy Consumption of Design Patterns.

Adel Noureddine, Ajitha Rajan

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Measuring Change Impact on Program Behaviour.

Ajitha Rajan, Daniel Kroening

Proceedings of the Validation of Evolving Software, 2015

2014

Accelerated test execution using GPUs.

Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

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

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

PINCETTE - Validating Changes and Upgrades in Networked Software.

Pamela Farries, Ajitha Rajan

ERCIM News, 2012

2011

Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs.

Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.

Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl

Proceedings of the Second NASA Formal Methods Symposium, 2010

Assertion-based test oracles for home automation systems.

Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

2009

Service specification and validation in the context of the home.

Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.

Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

The effect of program and model structure on mc/dc test adequacy coverage.

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Requirements Coverage as an Adequacy Measure for Conformance Testing.

Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Model Validation using Automatically Generated Requirements-Based Tests.

Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Automated requirements-based test case generation.

Ajitha Rajan

ACM SIGSOFT Softw. Eng. Notes, 2006

Coverage Metrics to Measure Adequacy of Black-Box Test Suites.

Ajitha Rajan

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Coverage metrics for requirements-based testing.

Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Interaction Testing in Model-Based Development: Effect on Model-Coverage.

Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006