Follow
Ajitha Rajan
Ajitha Rajan
Verified email at staffmail.ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Coverage metrics for requirements-based testing
MW Whalen, A Rajan, MPE Heimdahl, SP Miller
Proceedings of the 2006 international symposium on Software testing and …, 2006
1802006
The effect of program and model structure on MC/DC test adequacy coverage
A Rajan, MW Whalen, MPE Heimdahl
Proceedings of the 30th International Conference on Software engineering …, 2008
1082008
CESAR-Cost-efficient methods and processes for safety-relevant embedded systems
A Rajan, T Wahl
Springer, 2013
772013
Optimising energy consumption of design patterns
A Noureddine, A Rajan
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
712015
SolAnalyser: A framework for analysing and testing smart contracts
S Akca, A Rajan, C Peng
2019 26th Asia-Pacific software engineering conference (APSEC), 482-489, 2019
512019
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage
G GAY, A RAJAN, M STAATS, M WHALEN, MPE HEIMDAHL
ACM Trans. Softw. Eng. Methodol 25 (3), 2016
432016
SIF: A framework for solidity contract instrumentation and analysis
C Peng, S Akca, A Rajan
2019 26th Asia-Pacific Software Engineering Conference (APSEC), 466-473, 2019
36*2019
M3 semantic API migrations
B Collie, P Ginsbach, J Woodruff, A Rajan, MFP O'Boyle
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
302020
On MC/DC and implementation structure: An empirical study
MPE Heimdahl, MW Whalen, A Rajan, M Staats
2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 5. B. 3-1-5. B. 3-13, 2008
292008
Coverage metrics for requirements-based testing: Evaluation of effectiveness
M Staats, M Whalen, A Rajan, M Heimdahl
NASA, 2010
272010
Requirements coverage as an adequacy measure for conformance testing
A Rajan, M Whalen, M Staats, MPE Heimdahl
International Conference on Formal Engineering Methods, 86-104, 2008
272008
Interaction testing in model-based development: Effect on model-coverage
RC Bryce, A Rajan, MPE Heimdahl
2006 13th Asia Pacific Software Engineering Conference (APSEC'06), 259-268, 2006
262006
Supervised learning over test executions as a test oracle
F Tsimpourlas, A Rajan, M Allamanis
Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1521-1531, 2021
24*2021
Test case permutation to improve execution time
P Stratis, A Rajan
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
24*2016
Accelerated test execution using gpus
A Rajan, S Sharma, P Schrammel, D Kroening
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
242014
Automated requirements-based test case generation
A Rajan
ACM SIGSOFT Software Engineering Notes 31 (6), 1-2, 2006
242006
Coverage metrics to measure adequacy of black-box test suites
A Rajan
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
222006
Compiler-assisted test acceleration on gpus for embedded software
V Yaneva, A Rajan, C Dubach
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
212017
Coverage metrics for requirements-based testing
A Rajan
University of Minnesota, 2009
202009
Model validation using automatically generated requirements-based tests
A Rajan, MW Whalen, MPE Heimdahl
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 95-104, 2007
202007
The system can't perform the operation now. Try again later.
Articles 1–20