AGEDIS

swMATH32266MaRDI QIDQ43977FDOQ43977

Author name not available (Why is that?)

Cited In (6)

• Combining test case generation and runtime verification
• Title not available (Why is that?)
• Play to Test
• Testing interruptions in reactive systems
• Integration of verification methods for program systems
• Towards property oriented testing

This page was built for software: AGEDIS