Title: REACHER--a reachability condition derivation tool
Subjects: Testing, Computer software, Pascal (Computer program language), Programming languages (Electronic computers)