Stuck-Free Conformance
Abstract elided by the publisher.
Related papers
- Generating Conforming Programs with Xsmith GPCE 2023
- A Practical Subtyping System For Erlang ICFP 1997
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Infra: structure all the way down: structured data as a visual programming language Onward! 2017
- Decision procedures for algebraic data types with abstractions POPL 2010
- Verifying correct usage of context-free API protocols POPL 2021
- Conformance, Genericity, Inheritance and Enhancement ECOOP 1987
- Formal Methods for Conformance Testing: Theory Can Be Practical CAV 1999