Publications

Specification-Driven Testing of Smart Card Interface Using a Formal Model IADIS International Conference Applied Computing, Salamanca, Spain, February 2007. Ramaswamy Chandramouli and Mark Blackburn.

Model-based Automated Security Functional Testing
7th Annual Workshop on Distributed Objects and Components Security (DOCSEC), Baltimore, MD, April 2003. Ramaswamy Chandramouli and Mark Blackburn.

Model-based Approach to Security Test Automation
13th International Symposium on Software Reliability Engineering (ISSRE 2002), Annapolis, MD, Nov 2002. Mark Blackburn et al., Ramaswamy Chandramouli.

Cost Effective Use of Formal Methods in Verification and Validation
Foundations 02 Workshop on Verification & Validation, Columbia, MD, Oct 2002. Richard Kuhn, Ramaswamy Chandramouli and Ricky Butler.

Security Functional Testing Using An Interface-Driven Model-Based Test Automation Approach
WERB Approved, Yet to be published. Sept 2002. Ramaswamy Chandramouli and Mark Blackburn.

Interface-driven Model-based Generation of Java Test Drivers
15th International Software and Internet Quality Week Conference, San Francisco, Sept 2002. Blackburn et al., Ramaswamy Chandramouli.

Model-based Approach to Security Test Automation
14th International Software and Internet Quality Week Conference, San Francisco, June 2001. Blackburn et al., Ramaswamy Chandramouli.