Hardware Testing Using a Communication Protocol Conformance Testing Tool
Abstract elided by the publisher.
Related papers
- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation TACAS 2018
- PSF: A Generic and Extensible Framework for Protocol State Fuzzing CAV 2026
- Enforcing object protocols by combining static and runtime analysis OOPSLA 2008
- Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations PLDI 2023
- The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog OOPSLA 2023
- Formal Methods for Conformance Testing: Theory Can Be Practical CAV 1999
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript ECOOP 2017
- Generating Conforming Programs with Xsmith GPCE 2023