TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
Abstract elided by the publisher.
Related papers
- Automated conformance testing for JavaScript engines via deep compiler fuzzing PLDI 2021
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript ECOOP 2017
- BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking TACAS 2005
- Hardware Testing Using a Communication Protocol Conformance Testing Tool TACAS 1999
- Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations PLDI 2023
- Putting Randomized Compiler Testing into Production (Experience Report) ECOOP 2020
- Generating Conforming Programs with Xsmith GPCE 2023
- PSF: A Generic and Extensible Framework for Protocol State Fuzzing CAV 2026