Test-Data Generation for Xtext - Tool Paper
No abstract available.
Related papers
- Approaches and Tools for Implementing Type Systems in Xtext SLE 2012
- XMLText: from XML schema to xtext SLE 2015
- Xbase: implementing domain-specific languages for Java GPCE 2012
- QuickChecking Convergence of Rewriting Systems (Functional Pearl) ICFP 2026
- Trace-Guided Synthesis of Effectful Test Generators PLDI 2026
- QuickCheck: a lightweight tool for random testing of Haskell programs ICFP 2000
- Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper) ECOOP 2020
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAV 2023