Title: Detection of synchronization faults in concurrent processes
Subjects: Electronic digital computers, Testing