Automatic Grammar RepairVirtual
Mon 18 Oct 2021 19:20 - 19:35 at Zurich C - SLE/GPCE Session 6 Chair(s): Ran Wei, Paddy Krishnan
We describe the first approach to automatically repair bugs in context-free grammars: given a grammar that fails some tests in a given test suite, we iteratively and gradually improve the grammar until it passes all tests. Our core idea is to build on spectrum-based fault localization to identify promising repair sites (i.e., specific positions in rules), and to apply grammar patches at these sites whenever they satisfy explicitly formulated pre-conditions necessary to potentially improve the grammar.
We have implemented this approach in the gfixr system, and successfully used it to fix grammars students submitted as homeworks in a compiler engineering course, and to map one Pascal dialect grammar against another dialect.
gfixr can be configured to explore the repair space in different ways, and can also take advantage of counterexamples to enable restriction patches that make the grammar less permissive.
Mon 18 OctDisplayed time zone: Central Time (US & Canada) change
10:50 - 12:10 | SLE/GPCE Session 6SLE / GPCE at Zurich C +8h Chair(s): Vadim Zaytsev University of Twente, Netherlands | ||
10:50 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
11:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
11:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
11:35 8mTalk | Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
11:43 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
11:51 19mLive Q&A | Discussion, Questions and Answers SLE | ||
18:50 - 20:10 | SLE/GPCE Session 6GPCE / SLE at Zurich C Chair(s): Ran Wei Dalian University of Technology, Paddy Krishnan Oracle Labs, Australia | ||
18:50 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
19:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
19:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
19:35 8mTalk | Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
19:43 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
19:51 19mLive Q&A | Discussion, Questions and Answers SLE | ||