AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
No abstract available.
Related papers
- Automatic code generation in practice: experiences with embedded robot controllers GPCE 2016
- Automatic Code and Test Generation of Smart Contracts from Coordination Models ECOOP 2026
- Quickstrom: property-based acceptance testing with LTL specifications PLDI 2022
- Compiler generation for performance-oriented embedded DSLs (short paper) GPCE 2019
- Code Generation from Formal Models for Automatic RTOS Portability CGO 2019
- Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations GPCE 2009
- Roll your own test bed for embedded real-time protocols: a haskell experience Haskell 2009
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026