AutoMOTGen

swMATH9718MaRDI QIDQ21697FDOQ21697

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-70545-1_19

Cited In (5)

• Simulator semantics for system level formal verification
• On checking equivalence of simulation scripts
• DryVR
• Mutation-Based Test Case Generation for Simulink Models
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

This page was built for software: AutoMOTGen