Formal Methods for Conformance Testing: Theory Can Be Practical
No abstract available.
Related papers
- Taking Back Control in an Intermediate Representation for GPU Computing POPL 2023
- KJS: a complete formal semantics of JavaScript PLDI 2015
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript ECOOP 2017
- Putting Randomized Compiler Testing into Production (Experience Report) ECOOP 2020
- Hardware Testing Using a Communication Protocol Conformance Testing Tool TACAS 1999
- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation TACAS 2018
- Higher-Order Behavioural Conformances via Fibrations POPL 2026
- Executable formal semantics for the POSIX shell POPL 2020