Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 13:00 - 13:20 at SPLASH-III - Chair(s): Vadim Zaytsev
Tue 17 Nov 2020 01:00 - 01:20 at SPLASH-III - Chair(s): Vadim Zaytsev

Test case generation from context-free grammars typically uses the grammar's production rules to directly construct words that cover specific sets of derivations. Here, we investigate test case generation by traversing graphs derived from the LR-automata corresponding to the grammars. We develop a new algorithm that generates positive test cases by covering all edges between pairs of directly connected states in a two-phase breadth-first path search. The algorithm iterates over all edges stemming from shift/reduce and reduce/reduce conflicts, using a technique similar to the stack duplication used in GLR parsing. We then extend our algorithm to generate negative (i.e., syntactically invalid) test cases, by applying different edge mutation operations during the extraction of test cases from paths.

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
SLE at SPLASH-III +12h
Chair(s): Vadim Zaytsev University of Twente, Netherlands
13:00
20m
Talk
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
SLE
Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI Media Attached
13:20
20m
Talk
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
SLE
Phillip van Heerden Stellenbosch University, Moeketsi Raselimo Stellenbosch University, South Africa, Konstantinos (Kostis) Sagonas Uppsala University, Sweden, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI Media Attached
13:40
20m
Talk
An Interactive Feedback System for Grammar Development (Tool Paper)
SLE
Chelsea Barraball Stellenbosch University, South Africa, Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI Media Attached
14:00
20m
Talk
Featherweight Swift: A Core Calculus for Swift’s Type System
SLE
Dimitri Racordon University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland
Link to publication DOI Media Attached

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20
SLE at SPLASH-III
Chair(s): Vadim Zaytsev University of Twente, Netherlands
01:00
20m
Talk
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
SLE
Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI Media Attached
01:20
20m
Talk
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
SLE
Phillip van Heerden Stellenbosch University, Moeketsi Raselimo Stellenbosch University, South Africa, Konstantinos (Kostis) Sagonas Uppsala University, Sweden, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI Media Attached
01:40
20m
Talk
An Interactive Feedback System for Grammar Development (Tool Paper)
SLE
Chelsea Barraball Stellenbosch University, South Africa, Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI Media Attached
02:00
20m
Talk
Featherweight Swift: A Core Calculus for Swift’s Type System
SLE
Dimitri Racordon University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland
Link to publication DOI Media Attached