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
1462006
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
972008
CESAR-cost-efficient methods and processes for safety-relevant embedded systems
A Rajan, T Wahl
Springer, 2013
612013
Optimising energy consumption of design patterns
A Noureddine, A Rajan
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
422015
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
262008
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
242006
Coverage metrics for requirements-based testing: Evaluation of effectiveness
M Staats, M Whalen, A Rajan, M Heimdahl
NASA, 2010
232010
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 Transactions on Software Engineering and Methodology (TOSEM) 25 (3), 1-34, 2016
222016
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
222016
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
212008
Automated requirements-based test case generation
A Rajan
ACM SIGSOFT Software Engineering Notes 31 (6), 1-2, 2006
192006
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
182007
Accelerated test execution using GPUs
A Rajan, S Sharma, P Schrammel, D Kroening
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
172014
Coverage metrics for requirements-based testing
A Rajan, MPE Heimdahl
University of Minnesota, 2009
172009
Coverage metrics to measure adequacy of black-box test suites
A Rajan
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
172006
Test case permutation to improve execution time
P Stratis, A Rajan
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
102016
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
82017
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
62019
Structural test coverage criteria for integration testing of lustre/scade programs
V Papailiopoulou, A Rajan, I Parissis
International Workshop on Formal Methods for Industrial Critical Systems, 85-101, 2011
62011
Assertion-based test oracles for home automation systems
A Rajan, L Du Bousquet, Y Ledru, G Vega, JL Richier
Proceedings of the 7th International Workshop on Model-Based Methodologies …, 2010
62010
The system can't perform the operation now. Try again later.
Articles 1–20