AGEDIS

swMATH32266MaRDI QIDQ43977FDOQ43977

Author name not available (Why is that?)

Official website: http://www.agedis.de/

Cited In (13)

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

This page was built for software: AGEDIS