Technical Reports

The ICICS/CS Reading Room

UBC CS TR-98-04 Summary

Automatically Generated Test Frames from an S Specification of Separation Minima for the North Atlantic Region, April 30, 1998 M.R. Donat, 225 pages

A partially automated process for generating tests has been experimentally applied to a formal specification of a real world specification for air traffic separation minima. This report discusses the problems addressed by this process along with how and why this automation was achieved.

If you have any questions or comments regarding this page please send mail to