Automatic Grammar Repair
summary
Describes gfixr, a tool that automatically repairs context-free grammars by combining spectrum-based fault localization at individual rule positions with small string edit patches (replace, insert, delete, swap) guarded by explicit pre/post conditions. Evaluated on student Pascal-like grammars (≈70–100 rules) and on mapping one Pascal dialect to another, it finds human-quality fixes in minutes (typically 1–20, one 25-minute case), handles multiple faults, sometimes fails on unrecoverable grammars, and supports an active repair mode that generates extra tests and improves precision/recall.
AI-written summary · about
chapters (6)
- 0:00Introduction
- 10:11Use cases for grammar repair
- 18:07Core ingredients of repair
- 27:35Active repair and future directions
- 35:07Generating compiler test suites
- 53:15Q&A
related talks
12mAutomatic Grammar Repair
04mFTFY: Research advances in automatic bug repair
20mAutomatic Repair of Regular Expressions
16mWe’ve Got You Covered: Type-Guided Repair of Incomplete Input Generators
52mStructure aware fuzzing
15mGrammar-Based Testing for Little Languages: An Experience Report with Student Compilers
15mAutomatic Synthesis of Data-Flow Analyzers
11mEncarsia: Evaluating CPU Fuzzers via Automatic Bug Injection