![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ajitha Rajan
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c40]Xiaoliang Wu, Peter Bell, Ajitha Rajan:
Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition. ICASSP 2024: 10296-10300 - [c39]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: 298-308 - [i21]Amy Rafferty
, Rishi Ramaesh, Ajitha Rajan:
Transparent and Clinically Interpretable AI for Lung Cancer Detection in Chest X-Rays. CoRR abs/2403.19444 (2024) - [i20]Xiaoliang Wu, Chau Luu, Peter Bell, Ajitha Rajan:
Explainable Attribute-Based Speaker Verification. CoRR abs/2405.19796 (2024) - 2023
- [c38]Xiaoliang Wu, Peter Bell, Ajitha Rajan:
Explanations for Automatic Speech Recognition. ICASSP 2023: 1-5 - [c37]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: 414-424 - [c36]Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan:
Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition. ASE 2023: 1795-1799 - [c35]Bénédicte Legastelois, Amy Rafferty
, Paul Brennan
, Hana Chockler
, Ajitha Rajan
, Vaishak Belle
:
Challenges in Explaining Brain Tumor Detection. TAS 2023: 21:1-21:8 - [i19]Xiaoliang Wu, Peter Bell, Ajitha Rajan:
Explanations for Automatic Speech Recognition. CoRR abs/2302.14062 (2023) - [i18]Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather:
BenchDirect: A Directed Language Model for Compiler Benchmarks. CoRR abs/2303.01557 (2023) - [i17]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 abs/2305.11194 (2023) - [i16]Xiaoliang Wu, Peter Bell, Ajitha Rajan:
Can We Trust Explainable AI Methods on ASR? An Evaluation on Phoneme Recognition. CoRR abs/2305.18011 (2023) - [i15]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 abs/2305.19979 (2023) - [i14]Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan:
MutateNN: Mutation Testing of Image Recognition Models Deployed on Hardware Accelerators. CoRR abs/2306.01697 (2023) - [i13]Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan:
Fault Localization for Framework Conversions of Image Recognition Models. CoRR abs/2306.06157 (2023) - [i12]Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan:
A Differential Testing Framework to Evaluate Image Recognition Model Robustness. CoRR abs/2306.06208 (2023) - [i11]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 abs/2309.01519 (2023) - [i10]Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan:
Fix-Con: Automatic Fault Localization and Repair of Deep Learning Model Conversions. CoRR abs/2312.15101 (2023) - 2022
- [j5]Foivos Tsimpourlas
, Gwenyth Rooijackers, Ajitha Rajan, Miltiadis Allamanis:
Embedding and classifying test execution traces using neural networks. IET Softw. 16(3): 301-316 (2022) - [j4]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) - [c34]Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather:
BenchPress: A Deep Active Benchmark Generator. PACT 2022: 505-516 - [c33]Xiaoliang Wu, Ajitha Rajan:
Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking. APSEC 2022: 169-178 - [c32]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: 100-116 - [c31]Amy Rafferty
, Rudolf Nenutil, Ajitha Rajan:
Explainable Artificial Intelligence for Breast Tumour Classification: Helpful or Harmful. iMIMIC@MICCAI 2022: 104-123 - [i9]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 abs/2201.11674 (2022) - [i8]Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather:
BenchPress: A Deep Active Benchmark Generator. CoRR abs/2208.06555 (2022) - [i7]Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan:
Exploring Effects of Computational Parameter Changes to Image Recognition Systems. CoRR abs/2211.00471 (2022) - 2021
- [c30]Sefa Akca, Chao Peng, Ajitha Rajan:
Testing Smart Contracts: Which Technique Performs Best? ESEM 2021: 21:1-21:11 - [c29]Chao Peng, Ajitha Rajan, Tianqin Cai:
CAT: Change-focused Android GUI Testing. ICSME 2021: 460-470 - [c28]Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis:
Supervised learning over test executions as a test oracle. SAC 2021: 1521-1531 - [i6]Xiaoliang Wu, Ajitha Rajan:
Blackbox Untargeted Adversarial Testing of Automatic Speech Recognition Systems. CoRR abs/2112.01821 (2021) - 2020
- [c27]Bruce Collie
, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle:
M3: Semantic API Migrations. ASE 2020: 90-102 - [c26]Chao Peng, Ajitha Rajan:
Automated test generation for OpenCL kernels using fuzzing and constraint solving. GPGPU@PPoPP 2020: 61-70 - [i5]Foivos Tsimpourlas, Ajitha Rajan, Miltiadis Allamanis:
Learning to Encode and Classify Test Executions. CoRR abs/2001.02444 (2020) - [i4]Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle:
M3: Semantic API Migrations. CoRR abs/2008.12118 (2020) - [i3]Chao Peng, Ajitha Rajan:
CAT: Change-focused Android GUI Testing. CoRR abs/2011.11766 (2020)
2010 – 2019
- 2019
- [c25]Chao Peng, Sefa Akca, Ajitha Rajan:
SIF: A Framework for Solidity Contract Instrumentation and Analysis. APSEC 2019: 466-473 - [c24]Sefa Akca, Ajitha Rajan, Chao Peng:
SolAnalyser: A Framework for Analysing and Testing Smart Contracts. APSEC 2019: 482-489 - [c23]Chao Peng, Ajitha Rajan:
CLTestCheck: Measuring Test Effectiveness for GPU Kernels. FASE 2019: 315-331 - [i2]Chao Peng, Ajitha Rajan:
SIF: A Framework for Solidity Code Instrumentation and Analysis. CoRR abs/1905.01659 (2019) - 2018
- [j3]Panagiotis Stratis
, Ajitha Rajan:
Speeding up test execution with increased cache locality. Softw. Test. Verification Reliab. 28(5) (2018) - [c22]Vanya Yaneva, Arnav Kapoor
, Ajitha Rajan, Christophe Dubach:
Accelerated Finite State Machine Test Execution Using GPUs. APSEC 2018: 109-118 - [c21]Panagiotis Stratis, Vanya Yaneva, Ajitha Rajan:
Assessing the effect of data transformations on test suite compilation. ESEM 2018: 4:1-4:10 - [c20]Panagiotis Stratis, Ajitha Rajan:
Reordering tests for faster test suite execution. ICSE (Companion Volume) 2018: 442-443 - 2017
- [c19]Vanya Yaneva, Ajitha Rajan, Christophe Dubach:
Compiler-assisted test acceleration on GPUs for embedded software. ISSTA 2017: 35-45 - [c18]Vanya Yaneva, Ajitha Rajan, Christophe Dubach:
ParTeCL: parallel testing using OpenCL. ISSTA 2017: 384-387 - 2016
- [j2]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): 25:1-25:34 (2016) - [c17]Ajitha Rajan, Adel Noureddine
, Panagiotis Stratis:
A Study on the Influence of Software and Hardware Features on Program Energy. ESEM 2016: 37:1-37:10 - [c16]Panagiotis Stratis, Ajitha Rajan:
Test case permutation to improve execution time. ASE 2016: 45-50 - [c15]Ajitha Rajan, Boris Penev:
Sensitivity of Application Performance to Resource Availability. VALUETOOLS 2016 - 2015
- [c14]Adel Noureddine
, Ajitha Rajan:
Optimising Energy Consumption of Design Patterns. ICSE (2) 2015: 623-626 - [p1]Ajitha Rajan, Daniel Kroening
:
Measuring Change Impact on Program Behaviour. Validation of Evolving Software 2015: 125-145 - 2014
- [c13]Ajitha Rajan, Subodh Sharma, Peter Schrammel
, Daniel Kroening
:
Accelerated test execution using GPUs. ASE 2014: 97-102 - 2013
- [c12]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: 461-464 - 2012
- [i1]Pamela Farries, Ajitha Rajan:
PINCETTE - Validating Changes and Upgrades in Networked Software. ERCIM News 2012(88) (2012) - 2011
- [c11]Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis:
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. FMICS 2011: 85-101 - 2010
- [c10]Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega
, Jean-Luc Richier:
Assertion-based test oracles for home automation systems. MOMPES 2010: 45-52 - [c9]Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl:
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods 2010: 161-170
2000 – 2009
- 2009
- [c8]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: 207-219 - 2008
- [c7]Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104 - [c6]Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
The effect of program and model structure on mc/dc test adequacy coverage. ICSE 2008: 161-170 - [c5]Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham:
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE 2008: 499-500 - 2007
- [c4]Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104 - 2006
- [j1]Ajitha Rajan:
Automated requirements-based test case generation. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c3]Renée C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl:
Interaction Testing in Model-Based Development: Effect on Model-Coverage. APSEC 2006: 259-268 - [c2]Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
Coverage metrics for requirements-based testing. ISSTA 2006: 25-36 - [c1]Ajitha Rajan:
Coverage Metrics to Measure Adequacy of Black-Box Test Suites. ASE 2006: 335-338
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint