| 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 | 179 | 2006 |
| 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 | 110 | 2008 |
| CESAR-Cost-efficient methods and processes for safety-relevant embedded systems A Rajan, T Wahl Springer, 2013 | 81 | 2013 |
| Optimising energy consumption of design patterns A Noureddine, A Rajan 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 73 | 2015 |
| 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 | 61 | 2019 |
| 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 | 47 | 2016 |
| 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 | 45* | 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 | 33 | 2020 |
| 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 | 29 | 2008 |
| 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 | 29 | 2008 |
| Coverage metrics for requirements-based testing: Evaluation of effectiveness M Staats, M Whalen, A Rajan, M Heimdahl NASA, 2010 | 27 | 2010 |
| 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 | 26* | 2021 |
| Test case permutation to improve execution time P Stratis, A Rajan Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 26* | 2016 |
| 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 | 26 | 2006 |
| Accelerated test execution using gpus A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 24 | 2014 |
| Automated requirements-based test case generation A Rajan ACM SIGSOFT Software Engineering Notes 31 (6), 1-2, 2006 | 23 | 2006 |
| Coverage metrics to measure adequacy of black-box test suites A Rajan 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 22 | 2006 |
| 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 | 21 | 2017 |
| Coverage metrics for requirements-based testing A Rajan University of Minnesota, 2009 | 20 | 2009 |
| 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 | 20 | 2007 |
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of Minnesotaumn.edu üzerinde doğrulanmış e-posta adresine sahip