Brzozowski's and Up-To Algorithms for Must Testing
No abstract available.
Related papers
- Parsing with derivatives: a functional pearl ICFP 2011
- Parsing with zippers (functional pearl) ICFP 2020
- Compositional may-must program analysis: unleashing the power of alternation POPL 2010
- Determinacy Testing for Nondeterminate Logic Programming Languages TOPLAS 1994
- Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation SAS 2011
- Parsing randomness OOPSLA 2022
- Random testing for higher-order, stateful programs OOPSLA 2010
- Stop Losing Sleep Over Incomplete Data Type Specifications POPL 1984