Automated Test Case Generation from Dynamic Models
Abstract elided by the publisher.
Related papers
- Automated conformance testing for JavaScript engines via deep compiler fuzzing PLDI 2021
- Automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery GPCE 2016
- Compositional dynamic test generation POPL 2007
- FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement CAV 2008
- Automatic Code and Test Generation of Smart Contracts from Coordination Models ECOOP 2026
- New ideas: automated engineering of metamorphic testing environments for domain-specific languages SLE 2021
- SolTG: A CHC-Based Solidity Test Case Generator CAV 2024
- Random testing for C and C++ compilers with YARPGen OOPSLA 2020