AutoMOTGen

swMATH9718MaRDI QIDQ21697FDOQ21697

Author name not available (Why is that?)

Cited In (4)

• On checking equivalence of simulation scripts
• Title not available (Why is that?)
• 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