An application-independent concurrency skeleton in Ada 95
Selecting Software Test Data Using Data Flow Information