Title: Testmethoden für sequentielle und nebenläufige Software-Systeme
Subjects: Testen, Qualitätssicherung, Software