Table of Contents
Automated Package Testing A FormalWare Project Jayakrishnan Nair (JK) University of Victoria British Columbia, Canada
Talk Overview
Testing Packages
Test Case Language
Two Test Cases
Test Driver Generation
Experience with Automated Unit Testing
Technology Transfer Issues
Talk Summary
|
Author: Dan Hoffman
|