Publications

              Ajitha Rajan

CONFERENCE PUBLICATIONS

Ajitha Rajan, Michael Whalen, Matt Staats, Mats Heimdahl. Requirements Coverage as an Adequacy Measure for Conformance Testing. In proceedings of the 10th International Conference on Formal Engineering Methods (ICFEM 2008), Kitakyushu, Japan, Oct 2008.

 

Ajitha Rajan and Mats Heimdahl. Assessing Requirements Quality Through Requirements Coverage. The Sixth NASA Langley Formal Methods Workshop, Virginia, USA, To Appear in May 2008.

 

Ajitha Rajan, Michael Whalen and Mats Heimdahl. The Effect of Program and Model Structure on MC/DC Test Adequacy Coverage. In Proceedings of the International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008. Awarded Distinguished Paper.

 

Ajitha Rajan, Michael Whalen and Mats Heimdahl. Model Validation Using Automatically Generated Requirements-Based Tests. In Proceedings of the IEEE High Assurance Systems Engineering Symposium (HASE 2007), Dallas, USA, November 2007.

 

Renee Bryce, Ajitha Rajan and Mats Heimdahl. Interaction Testing in Model-Based Development: Effect on Model Coverage. In Proceedings of the Asia Pacific Conference on Software Engineering (APSEC 2006), Bangalore, India, Dec 2006.

 

Ajitha Rajan. Coverage Metrics to Measure Adequacy of Black-Box Test Suites. In Proceedings of Automated Software Engineering, ASE 2006 (Doctoral Symposium), Tokyo, Japan, Sep 2006.

 

Michael Whalen, Ajitha Rajan, Mats Heimdahl and Steven Miller. Coverage Metrics for Requirements-Based Testing. In Proceedings of the International Symposium on Software Testing and Analysis , (ISSTA 2006), Portland, USA, July, 2006.

 

TECHNICAL REPORTS

Mats Heimdahl, Michael Whalen, Ajitha Rajan and Steven Miller. Testing Strategies for Model-Based Development. NASA Technical Report. 2006. Document ID: 20060018336;

Report Number: NASA CR-2006-214307

 

POSTERS

Ajitha Rajan. Automated Requirements-Based Test Case Generation, Foundations of Software Engineering (FSE 2006), Portland, Oregon, Nov 2006.

 

Ajitha Rajan. Automated Requirements-Based Testing, Grace Hopper Celebration of