Research Projects:

Model-based Integration and System Test Automation(MISTA):is a tool for model-based test generation. Given a Model-Implementation Description (MID),MISTA automatically generates executable test code in the target language.

XACML Policy Analyzer(XPA):A toolkit for analyzing XACML3.0 policies. The main features are Editing GU, Coverage-based test generation (rule coverage, decision coverage, MC/DC coverage, rule pair coverage), Generation of mutants, and Execution of a test suite for a policy and its mutants.

Software Artifact Repository:This project provides a repository of software artifacts for software assurance education.The artifacts include representative results from interdependent development and assurance activities for security-critical software.

Proposal Workflow Management System(GPMS): A web-based application for replacing the manual approval process of grant submission.