STG: A Symbolic Test Generation Tool
No abstract available.
Related papers
- KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs CAV 2011
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- A systematic derivation of the STG machine verified in Coq Haskell 2010
- From natural semantics to C: A formal derivation of two STG machines JFP 2009
- Concolic Execution for WebAssembly ECOOP 2022
- The Spineless Tagless G-machine, naturally ICFP 1998
- Efficient state merging in symbolic execution PLDI 2012
- Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine JFP 1992