Publications

              Ajitha Rajan

CONFERENCE PUBLICATIONS

Lydie Du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, and German Vega.

Service Specification and Validation in the Context of the Home. In proceedings of the

10th International Conference on Feature Interactions (ICFI 2009), Lisbon, Portugal. To

Appear in Jun 2009.

 

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, 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.

 

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.

 

JOURNALS

Invited to submit to ACM Transactions on Software Engineering and Methodology (TOSEM). Ajitha Rajan, Michael Whalen, Matt Staats and Mats Heimdahl. The E®ect of Program and Model Structure on MC/DC Test Adequacy Coverage. In preparation.

The invitation to submit to TOSEM was from the ACM Distinguished Paper Award.

 

OTHER PUBLICATIONS

Mats P.E. Heimdahl, Michael W. Whalen, Ajitha Rajan, and Matt Staats. On MC/DC

and Implementation Structure: An Empirical Study. Proceedings of the 27th IEEE Digital

Avionics Systems Conference—DASC 2008. Oct 26-30, 2008. Best paper award (software track).

 

Matt Staats, Weijia Deng, Ajitha Rajan, Mats Heimdahl, Kurt Woodham. ReqsCov: A

Tool for Measuring Test-Adequacy over Requirements. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2008 (Tools Paper), pages 499 - 500, L'Aquila, Italy, Sep 2008.

 

Ajitha Rajan and Mats Heimdahl. Challenges in Automated Testing Beyond Test Case Generation. Workshop on State-space Exploration for Automated Testing (SSEAT 2008, co-located with ISSTA’08), Seattle, USA, July 2008.

 

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

 

Ajitha Rajan. Coverage Metrics to Measure Adequacy of Black-Box Test Suites. In

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006 (Doctoral Symposium), pages 335-338, Tokyo, Japan, Sep 2006.

 

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 Women in Computing, San Deigo. Oct 2006. Participant of the Student Research Competition (SCR) sponsored by Microsoft and awarded travel grant to attend the competition.