Ajitha Rajan

88 papers A* 9A 10B 3C 7Misc 4Journal 35Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Clinically Aware Synthetic Image Generation for Concept Coverage in Chest X-ray Models.
CoRR
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2026 B conf
DiTOX: Fault Detection and Localization in the ONNX Optimizer.
CC
Nikolaos Louloudakis, Ajitha Rajan
2025 — conf
Can interpretability and accuracy coexist in cancer survival analysis?
MLHC
Piyush Borole, Tongjie Wang, Antonio Vergari, Ajitha Rajan
2025 — conf
CoRPA: Adversarial Image Generation for Chest X-rays Using Concept Vector Perturbations and Generative Models.
ICHI
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2025 J jnl
CoRPA: Adversarial Image Generation for Chest X-rays Using Concept Vector Perturbations and Generative Models.
CoRR
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2025 A* conf
Explainability Through Human-Centric Design for XAI in Lung Cancer Detection.
IJCAI
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2025 J jnl
Explainability Through Human-Centric Design for XAI in Lung Cancer Detection.
CoRR
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2025 — conf
Exploring Robustness of Image Recognition Models on Hardware Accelerators.
ICSTW
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2025 A conf
FetaFix: Automatic Fault Localization and Repair of Deep Learning Model Conversions.
EASE
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2025 A conf
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs.
ESEM
Foivos Tsimpourlas, Chao Peng, Carlos Rosuero, Ping Yang, Ajitha Rajan
2025 — conf
Leveraging Expert Input for Robust and Explainable AI-Assisted Lung Cancer Detection in Chest X-rays.
ICHI
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2025 J jnl
Leveraging knowledge for explainable AI in personalized cancer treatment: challenges and future directions.
Frontiers Digit. Health
Emilia Daghir-Wojtkowiak, Javier Antonio Alfaro, Michele Mastromattei, Aleksander Palkowski, Mark Stares, Ana Roca-Umbert, Andraz Krajnc, Riccardo Leoni, Anne Boland, Aria Nourbaksh, Ashwin Adrian Kallor, Camille Ducki, Davide Venditti, Carla Montesano, Chiara Cipriani, Daniel Faria, Delphine Pflieger, Elisa Zago, Etienne Bardet, Filipa Serrano, Florian Jeanneret, Damien Alouges, Liangwei Yin, Elodine Coquelet, Apolline Bacquet, Francesco Bonchi, Francesco Maiorino, Francesco Torino, Georges Bedran, Jean-Alexandre Long, Laura Balbi, Laurent Guyon, Liana Bevilacqua, Manuel Fiorelli, Marie-Catherine Wagner, Mario Reyes, Mario Roselli, Marta Contreiras Silva, Michal Waleron, Nikolas Dovrolis, Odile Filhol-Cochet, In Hwa Um, Georg Wölflein, Patrícia Eugénio, Pauline Bazelle, Pavlos Golnas, Peter Thorpe, Pierluigi Bove, Piyush Borole, Roberta Bernardini, Rohit Kumar, Rosella Cicconi, Saskia Kaltenbrunner, Saverio Gravina, Simona Brezar, Stefan Symeonides, Steven McGinn, Susana Nunes, Ted Hupp, Yuri G. Gordienko, Dimitrios Varvaras, Sergii G. Stirenko, Luciano Xumerle, Stefania Mariani, Assilah Bouzit, Stéphane Gazut, Heiko Poth, Kyriakos Souliotis, Hector Katifelis, Elena Verzoni, Giuseppe Procopio, Sarah Schoch, Francisco Lupiáñez-Villanueva, Sandra Türk, Katarzyna Barud, Dimitri Koroliouk, Juan Caubet, Yamir Moreno, Jean-Luc Descotes, Christina Golna, Valentina Guadalupi, Paolo Garagnani, Maria Gazouli, Jean-François Deleuze, Frans Folkvord, Nikolaus Forgó, David J. Harrison, Håkan Axelson, Armando Stellato, Maurizio Mattei, Ajitha Rajan, Alexander Laird, Christophe Battail, Catia Pesquita, Fabio Massimo Zanzotto
2025 J jnl
Limitations of Public Chest Radiography Datasets for Artificial Intelligence: Label Quality, Domain Shift, Bias and Evaluation Challenges.
CoRR
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2025 Misc conf
MHCRule - Rule-based Model for Interpretable MHC Class I Binding Prediction.
SAC
Piyush Borole, Ajitha Rajan
2025 A* conf
Mat-Instructions: A Large-Scale Inorganic Material Instruction Dataset for Large Language Models.
IJCAI
Ke Liu, Shangde Gao, Yichao Fu, Xiaoliang Wu, Shuo Tong, Ajitha Rajan, Hao Xu
2025 — conf
Metric-Guided Synthesis for Class Activation Mapping.
xAI (3)
Alejandro Luque-Cerpa, Elizabeth Polgreen, Ajitha Rajan, Hazem Torfah
2025 J jnl
Metric-Guided Synthesis of Class Activation Mapping.
CoRR
Alejandro Luque-Cerpa, Elizabeth Polgreen, Ajitha Rajan, Hazem Torfah
2025 J jnl
OODTE: A Differential Testing Engine for the ONNX Optimizer.
CoRR
Nikolaos Louloudakis, Ajitha Rajan
2025 J jnl
Selective Quantization Tuning for ONNX Models.
CoRR
Nikolaos Louloudakis, Ajitha Rajan
2025 — conf
Tracing Pain: Predictive Modeling for Migraine and Headache Triggers.
ICHI
Israa Alqassem, Piyush Borole, Ammar Shaker, Ajitha Rajan
2024 Misc conf
Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition.
ICASSP
Xiaoliang Wu, Peter Bell, Ajitha Rajan
2024 J jnl
Explainable Attribute-Based Speaker Verification.
CoRR
Xiaoliang Wu, Chau Luu, Peter Bell, Ajitha Rajan
2024 J jnl
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs.
CoRR
Foivos Tsimpourlas, Chao Peng, Carlos Rosuero, Ping Yang, Ajitha Rajan
2024 — conf
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning.
ICSE-SEIP
Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang, Zhao Zhang, Ajitha Rajan, Ping Yang
2024 J jnl
Transparent and Clinically Interpretable AI for Lung Cancer Detection in Chest X-Rays.
CoRR
Amy Rafferty, Rishi Ramaesh, Ajitha Rajan
2023 J jnl
A Differential Testing Framework to Evaluate Image Recognition Model Robustness.
CoRR
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2023 J jnl
BenchDirect: A Directed Language Model for Compiler Benchmarks.
CoRR
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
2023 J jnl
Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition.
CoRR
Xiaoliang Wu, Peter Bell, Ajitha Rajan
2023 — conf
Challenges in Explaining Brain Tumor Detection.
TAS
Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle
2023 A conf
DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models.
ICSME
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2023 Misc conf
Explanations for Automatic Speech Recognition.
ICASSP
Xiaoliang Wu, Peter Bell, Ajitha Rajan
2023 J jnl
Explanations for Automatic Speech Recognition.
CoRR
Xiaoliang Wu, Peter Bell, Ajitha Rajan
2023 A* conf
Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition.
ASE
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2023 J jnl
Fault Localization for Framework Conversions of Image Recognition Models.
CoRR
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2023 J jnl
Fix-Con: Automatic Fault Localization and Repair of Deep Learning Model Conversions.
CoRR
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2023 J jnl
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning.
CoRR
Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang, Zhao Zhang, Ajitha Rajan, Ping Yang
2023 J jnl
Knowledge Graph Embeddings in the Biomedical Domain: Are They Useful? A Look at Link Prediction, Rule Learning, and Downstream Polypharmacy Tasks.
CoRR
Aryo Pradipta Gema, Dominik Grabarczyk, Wolf De Wulf, Piyush Borole, Javier Antonio Alfaro, Pasquale Minervini, Antonio Vergari, Ajitha Rajan
2023 J jnl
MutateNN: Mutation Testing of Image Recognition Models Deployed on Hardware Accelerators.
CoRR
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2023 J jnl
Vaxformer: Antigenicity-controlled Transformer for Vaccine Design Against SARS-CoV-2.
CoRR
Aryo Pradipta Gema, Michal Kobiela, Achille Fraisse, Ajitha Rajan, Diego A. Oyarzún, Javier Antonio Alfaro
2022 B conf
BenchPress: A Deep Active Benchmark Generator.
PACT
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
2022 J jnl
BenchPress: A Deep Active Benchmark Generator.
CoRR
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather
2022 C conf
Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking.
APSEC
Xiaoliang Wu, Ajitha Rajan
2022 J jnl
Embedding and classifying test execution traces using neural networks.
IET Softw.
Foivos Tsimpourlas, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamanis
2022 — conf
Explainable Artificial Intelligence for Breast Tumour Classification: Helpful or Harmful.
iMIMIC@MICCAI
Amy Rafferty, Rudolf Nenutil, Ajitha Rajan
2022 J jnl
Exploring Effects of Computational Parameter Changes to Image Recognition Systems.
CoRR
Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan
2022 J jnl
GPU acceleration of finite state machine input execution: Improving scale and performance.
Softw. Test. Verification Reliab.
Vanya Yaneva, Ajitha Rajan, Christophe Dubach
2022 — conf
Generating Immune-aware SARS-CoV-2 Spike Proteins for Universal Vaccine Design.
Healthcare AI and COVID-19 Workshop
Dominic Phillips, Hans-Christof Gasser, Sebesyén Kamp, Aleksander Palkowski, Lukasz Rabalski, Diego A. Oyarzún, Ajitha Rajan, Javier Antonio Alfaro
2022 J jnl
Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities.
CoRR
Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy
2021 J jnl
Blackbox Untargeted Adversarial Testing of Automatic Speech Recognition Systems.
CoRR
Xiaoliang Wu, Ajitha Rajan
2021 A conf
CAT: Change-focused Android GUI Testing.
ICSME
Chao Peng, Ajitha Rajan, Tianqin Cai
2021 Misc conf
Supervised learning over test executions as a test oracle.
SAC
Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis
2021 A conf
Testing Smart Contracts: Which Technique Performs Best?
ESEM
Sefa Akca, Chao Peng, Ajitha Rajan
2020 — conf
Automated test generation for OpenCL kernels using fuzzing and constraint solving.
GPGPU@PPoPP
Chao Peng, Ajitha Rajan
2020 J jnl
CAT: Change-focused Android GUI Testing.
CoRR
Chao Peng, Ajitha Rajan
2020 J jnl
Learning to Encode and Classify Test Executions.
CoRR
Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis
2020 A* conf
M3: Semantic API Migrations.
ASE
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
2020 J jnl
M3: Semantic API Migrations.
CoRR
Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
2019 B conf
CLTestCheck: Measuring Test Effectiveness for GPU Kernels.
FASE
Chao Peng, Ajitha Rajan
2019 J jnl
SIF: A Framework for Solidity Code Instrumentation and Analysis.
CoRR
Chao Peng, Ajitha Rajan
2019 C conf
SIF: A Framework for Solidity Contract Instrumentation and Analysis.
APSEC
Chao Peng, Sefa Akca, Ajitha Rajan
2019 C conf
SolAnalyser: A Framework for Analysing and Testing Smart Contracts.
APSEC
Sefa Akca, Ajitha Rajan, Chao Peng
2018 C conf
Accelerated Finite State Machine Test Execution Using GPUs.
APSEC
Vanya Yaneva, Arnav Kapoor, Ajitha Rajan, Christophe Dubach
2018 A conf
Assessing the effect of data transformations on test suite compilation.
ESEM
Panagiotis Stratis, Vanya Yaneva, Ajitha Rajan
2018 — conf
Reordering tests for faster test suite execution.
ICSE (Companion Volume)
Panagiotis Stratis, Ajitha Rajan
2018 J jnl
Speeding up test execution with increased cache locality.
Softw. Test. Verification Reliab.
Panagiotis Stratis, Ajitha Rajan
2017 A conf
Compiler-assisted test acceleration on GPUs for embedded software.
ISSTA
Vanya Yaneva, Ajitha Rajan, Christophe Dubach
2017 A conf
ParTeCL: parallel testing using OpenCL.
ISSTA
Vanya Yaneva, Ajitha Rajan, Christophe Dubach
2016 A conf
A Study on the Influence of Software and Hardware Features on Program Energy.
ESEM
Ajitha Rajan, Adel Noureddine, Panagiotis Stratis
2016 — conf
Sensitivity of Application Performance to Resource Availability.
VALUETOOLS
Ajitha Rajan, Boris Penev
2016 A* conf
Test case permutation to improve execution time.
ASE
Panagiotis Stratis, Ajitha Rajan
2016 J jnl
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage.
ACM Trans. Softw. Eng. Methodol.
Gregory Gay, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl
2015 — ch.
Measuring Change Impact on Program Behaviour.
Validation of Evolving Software
Ajitha Rajan, Daniel Kroening
2015 — conf
Optimising Energy Consumption of Design Patterns.
ICSE (2)
Adel Noureddine, Ajitha Rajan
2014 A* conf
Accelerated test execution using GPUs.
ASE
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
2013 — conf
PINCETTE - Validating Changes and Upgrades in Networked Software.
CSMR
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
2012 J jnl
PINCETTE - Validating Changes and Upgrades in Networked Software.
ERCIM News
Pamela Farries, Ajitha Rajan
2011 C conf
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs.
FMICS
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
2010 — conf
Assertion-based test oracles for home automation systems.
MOMPES
Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier
2010 — conf
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.
NASA Formal Methods
Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl
2009 — conf
Service specification and validation in the context of the home.
ICFI
Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega
2008 A* conf
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.
ASE
Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham
2008 C conf
Requirements Coverage as an Adequacy Measure for Conformance Testing.
ICFEM
Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl
2008 A* conf
The effect of program and model structure on mc/dc test adequacy coverage.
ICSE
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
2007 — conf
Model Validation using Automatically Generated Requirements-Based Tests.
HASE
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl
2006 J jnl
Automated requirements-based test case generation.
ACM SIGSOFT Softw. Eng. Notes
Ajitha Rajan
2006 A* conf
Coverage Metrics to Measure Adequacy of Black-Box Test Suites.
ASE
Ajitha Rajan
2006 A conf
Coverage metrics for requirements-based testing.
ISSTA
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller
2006 C conf
Interaction Testing in Model-Based Development: Effect on Model-Coverage.
APSEC
Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl