Automated testing support for reactive domain-specific modelling languages
No abstract available.
Related papers
- New ideas: automated engineering of metamorphic testing environments for domain-specific languages SLE 2021
- Fault-tolerant functional reactive programming (extended version) JFP 2020
- Fault tolerant functional reactive programming (functional pearl) ICFP 2018
- Dynamic optimization for functional reactive programming using generalized algebraic data types ICFP 2005
- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts TACAS 2018
- Testing and debugging functional reactive programming ICFP 2017
- Review of "Functional and Reactive Domain Modeling" by Debasish Ghosh, Manning, 2017, ISBN 978-1-617-29224-8 JFP 2020
- sweap: Reactive Synthesis for Infinite-State Integer Problems CAV 2026