Testmethoden für sequentielle und nebenläufige Software-Systeme | EKB DL