Ajitha Rajan

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 50

Top Topics

Fault Localization

Resource Availability

Tumor Detection

Top Venues

Publications

Xiaoliang Wu, Peter Bell, Ajitha Rajan
Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition. ICASSP (2024)
Xiaoliang Wu, Chau Luu, Peter Bell, Ajitha Rajan
Explainable Attribute-Based Speaker Verification. CoRR (2024)
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
Transparent and Clinically Interpretable AI for Lung Cancer Detection in Chest X-Rays. CoRR (2024)
Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang, Zhao Zhang, Ajitha Rajan, Ping Yang
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning. ICSE-SEIP (2024)
Xiaoliang Wu, Peter Bell, Ajitha Rajan
Explanations for Automatic Speech Recognition. CoRR (2023)
Aryo Pradipta Gema, Michal Kobiela, Achille Fraisse, Ajitha Rajan, Diego A. Oyarzún, Javier Antonio Alfaro
Vaxformer: Antigenicity-controlled Transformer for Vaccine Design Against SARS-CoV-2. CoRR (2023)
Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang, Zhao Zhang, Ajitha Rajan, Ping Yang
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning. CoRR (2023)
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition. ASE (2023)
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
Fix-Con: Automatic Fault Localization and Repair of Deep Learning Model Conversions. CoRR (2023)
Aryo Pradipta Gema, Dominik Grabarczyk, Wolf De Wulf, Piyush Borole, Javier Antonio Alfaro, Pasquale Minervini, Antonio Vergari, Ajitha Rajan
Knowledge Graph Embeddings in the Biomedical Domain: Are They Useful? A Look at Link Prediction, Rule Learning, and Downstream Polypharmacy Tasks. CoRR (2023)
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
MutateNN: Mutation Testing of Image Recognition Models Deployed on Hardware Accelerators. CoRR (2023)
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
Fault Localization for Framework Conversions of Image Recognition Models. CoRR (2023)
Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle
Challenges in Explaining Brain Tumor Detection. TAS (2023)
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models. ICSME (2023)
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
BenchDirect: A Directed Language Model for Compiler Benchmarks. CoRR (2023)
Xiaoliang Wu, Peter Bell, Ajitha Rajan
Explanations for Automatic Speech Recognition. ICASSP (2023)
Xiaoliang Wu, Peter Bell, Ajitha Rajan
Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition. CoRR (2023)
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
A Differential Testing Framework to Evaluate Image Recognition Model Robustness. CoRR (2023)
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
BenchPress: A Deep Active Benchmark Generator. CoRR (2022)
Xiaoliang Wu, Ajitha Rajan
Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking. APSEC (2022)
Vanya Yaneva, Ajitha Rajan, Christophe Dubach
GPU acceleration of finite state machine input execution: Improving scale and performance. Softw. Test. Verification Reliab. 32 (1) (2022)
Amy Rafferty, Rudolf Nenutil, Ajitha Rajan
Explainable Artificial Intelligence for Breast Tumour Classification: Helpful or Harmful. iMIMIC@MICCAI (2022)
Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy
Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. CoRR (2022)
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
Exploring Effects of Computational Parameter Changes to Image Recognition Systems. CoRR (2022)
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
BenchPress: A Deep Active Benchmark Generator. PACT (2022)
Foivos Tsimpourlas, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamanis
Embedding and classifying test execution traces using neural networks. IET Softw. 16 (3) (2022)
Dominic Phillips, Hans-Christof Gasser, Sebesyén Kamp, Aleksander Palkowski, Lukasz Rabalski, Diego A. Oyarzún, Ajitha Rajan, Javier Antonio Alfaro
Generating Immune-aware SARS-CoV-2 Spike Proteins for Universal Vaccine Design. Healthcare AI and COVID-19 Workshop (2022)
Xiaoliang Wu, Ajitha Rajan
Blackbox Untargeted Adversarial Testing of Automatic Speech Recognition Systems. CoRR (2021)
Sefa Akca, Chao Peng, Ajitha Rajan
Testing Smart Contracts: Which Technique Performs Best? ESEM (2021)
Chao Peng, Ajitha Rajan, Tianqin Cai
CAT: Change-focused Android GUI Testing. ICSME (2021)
Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis
Supervised learning over test executions as a test oracle. SAC (2021)
Chao Peng, Ajitha Rajan
Automated test generation for OpenCL kernels using fuzzing and constraint solving. GPGPU@PPoPP (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. ASE (2020)
Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis
Learning to Encode and Classify Test Executions. CoRR (2020)
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
M3: Semantic API Migrations. CoRR (2020)
Chao Peng, Ajitha Rajan
CAT: Change-focused Android GUI Testing. CoRR (2020)
Sefa Akca, Ajitha Rajan, Chao Peng
SolAnalyser: A Framework for Analysing and Testing Smart Contracts. APSEC (2019)
Chao Peng, Ajitha Rajan
CLTestCheck: Measuring Test Effectiveness for GPU Kernels. FASE (2019)
Chao Peng, Sefa Akca, Ajitha Rajan
SIF: A Framework for Solidity Contract Instrumentation and Analysis. APSEC (2019)
Chao Peng, Ajitha Rajan
SIF: A Framework for Solidity Code Instrumentation and Analysis. CoRR (2019)
Vanya Yaneva, Arnav Kapoor, Ajitha Rajan, Christophe Dubach
Accelerated Finite State Machine Test Execution Using GPUs. APSEC (2018)
Panagiotis Stratis, Vanya Yaneva, Ajitha Rajan
Assessing the effect of data transformations on test suite compilation. ESEM (2018)
Panagiotis Stratis, Ajitha Rajan
Reordering tests for faster test suite execution. ICSE (Companion Volume) (2018)
Panagiotis Stratis, Ajitha Rajan
Speeding up test execution with increased cache locality. Softw. Test. Verification Reliab. 28 (5) (2018)
Vanya Yaneva, Ajitha Rajan, Christophe Dubach
Compiler-assisted test acceleration on GPUs for embedded software. ISSTA (2017)
Vanya Yaneva, Ajitha Rajan, Christophe Dubach
ParTeCL: parallel testing using OpenCL. ISSTA (2017)
Ajitha Rajan, Adel Noureddine, Panagiotis Stratis
A Study on the Influence of Software and Hardware Features on Program Energy. ESEM (2016)
Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. 25 (3) (2016)
Panagiotis Stratis, Ajitha Rajan
Test case permutation to improve execution time. ASE (2016)
Ajitha Rajan, Boris Penev
Sensitivity of Application Performance to Resource Availability. VALUETOOLS (2016)
Adel Noureddine, Ajitha Rajan
Optimising Energy Consumption of Design Patterns. ICSE (2) (2015)
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
Accelerated test execution using GPUs. ASE (2014)
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
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR (2013)
Pamela Farries, Ajitha Rajan
PINCETTE - Validating Changes and Upgrades in Networked Software. ERCIM News 2012 (88) (2012)
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. FMICS (2011)
Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods (2010)
Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier
Assertion-based test oracles for home automation systems. MOMPES (2010)
Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega
Service specification and validation in the context of the home. ICFI (2009)
Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE (2008)
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
The effect of program and model structure on mc/dc test adequacy coverage. ICSE (2008)
Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM (2008)
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
Model Validation using Automatically Generated Requirements-Based Tests. HASE (2007)
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
Coverage metrics for requirements-based testing. ISSTA (2006)
Ajitha Rajan
Automated requirements-based test case generation. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl
Interaction Testing in Model-Based Development: Effect on Model-Coverage. APSEC (2006)
Ajitha Rajan
Coverage Metrics to Measure Adequacy of Black-Box Test Suites. ASE (2006)