Ajitha Rajan

According to our database1, Ajitha Rajan authored at least 36 papers between 2006 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Supervised learning over test executions as a test oracle.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020
CAT: Change-focused Android GUI Testing.
CoRR, 2020

Learning to Encode and Classify Test Executions.
CoRR, 2020

Automated test generation for OpenCL kernels using fuzzing and constraint solving.
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.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
SIF: A Framework for Solidity Code Instrumentation and Analysis.
CoRR, 2019

CLTestCheck: Measuring Test Effectiveness for GPU Kernels.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

SIF: A Framework for Solidity Contract Instrumentation and Analysis.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

SolAnalyser: A Framework for Analysing and Testing Smart Contracts.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
Speeding up test execution with increased cache locality.
Softw. Test. Verification Reliab., 2018

Reordering tests for faster test suite execution.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Assessing the effect of data transformations on test suite compilation.
Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

Accelerated Finite State Machine Test Execution Using GPUs.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
ParTeCL: parallel testing using OpenCL.
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.
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.
ACM Trans. Softw. Eng. Methodol., 2016

Sensitivity of Application Performance to Resource Availability.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Test case permutation to improve execution time.
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.
Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

2015
Optimising Energy Consumption of Design Patterns.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Measuring Change Impact on Program Behaviour.
Proceedings of the Validation of Evolving Software, 2015

2014
Accelerated test execution using GPUs.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013
PINCETTE - Validating Changes and Upgrades in Networked Software.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
PINCETTE - Validating Changes and Upgrades in Networked Software.
ERCIM News, 2012

2011
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.
Proceedings of the Second NASA Formal Methods Symposium, 2010

Assertion-based test oracles for home automation systems.
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.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements.
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.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Requirements Coverage as an Adequacy Measure for Conformance Testing.
Proceedings of the Formal Methods and Software Engineering, 2008

2007
Model Validation using Automatically Generated Requirements-Based Tests.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006
Automated requirements-based test case generation.
ACM SIGSOFT Softw. Eng. Notes, 2006

Coverage Metrics to Measure Adequacy of Black-Box Test Suites.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Coverage metrics for requirements-based testing.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Interaction Testing in Model-Based Development: Effect on Model-Coverage.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006


  Loading...