Generating Tests by Example
No abstract available.
Related papers
- Smallcheck and lazy smallcheck: automatic exhaustive testing for small values Haskell 2008
- Regenerate: a language generator for extended regular expressions GPCE 2018
- Integrated language definition testing: enabling test-driven language development OOPSLA 2011
- Test-driven synthesis PLDI 2014
- Reflecting on Random Generation ICFP 2023
- Automatic and scalable detection of logical errors in functional programming assignments OOPSLA 2019
- DART: directed automated random testing PLDI 2005
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012