| 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 | 146 | 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 | 97 | 2008 |
| CESAR-cost-efficient methods and processes for safety-relevant embedded systems A Rajan, T Wahl Springer, 2013 | 61 | 2013 |
| Optimising energy consumption of design patterns A Noureddine, A Rajan 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 42 | 2015 |
| 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 | 26 | 2008 |
| 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 | 24 | 2006 |
| Coverage metrics for requirements-based testing: Evaluation of effectiveness M Staats, M Whalen, A Rajan, M Heimdahl NASA, 2010 | 23 | 2010 |
| 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 | 22 | 2016 |
| 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 | 22 | 2016 |
| 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 | 21 | 2008 |
| Automated requirements-based test case generation A Rajan ACM SIGSOFT Software Engineering Notes 31 (6), 1-2, 2006 | 19 | 2006 |
| 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 | 18 | 2007 |
| Accelerated test execution using GPUs A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 17 | 2014 |
| Coverage metrics for requirements-based testing A Rajan, MPE Heimdahl University of Minnesota, 2009 | 17 | 2009 |
| Coverage metrics to measure adequacy of black-box test suites A Rajan 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 17 | 2006 |
| Test case permutation to improve execution time P Stratis, A Rajan Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 10 | 2016 |
| 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 | 8 | 2017 |
| 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 | 6 | 2019 |
| 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 | 6 | 2011 |
| 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 | 6 | 2010 |
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu
