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 -
Tue 17 Nov 2020 01:00 - 01:20 at SPLASH -

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
Times are displayed in time zone: (GMT-05:00) Central Time (US & Canada) change

13:00 - 14:20: SLE/GPCE at SPLASH +12h
13:00 - 13:20
Talk
SLE/GPCE
Christoff RossouwStellenbosch University, Bernd FischerStellenbosch University
13:20 - 13:40
Talk
SLE/GPCE
Phillip van HeerdenStellenbosch University, Moeketsi RaselimoStellenbosch University, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University
13:40 - 14:00
Talk
SLE/GPCE
Chelsea BarraballStellenbosch University, Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
14:00 - 14:20
Talk
SLE/GPCE
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

Tue 17 Nov
Times are displayed in time zone: (GMT-05:00) Central Time (US & Canada) change

01:00 - 02:20: SLE/GPCE at SPLASH
01:00 - 01:20
Talk
SLE/GPCE
Christoff RossouwStellenbosch University, Bernd FischerStellenbosch University
01:20 - 01:40
Talk
SLE/GPCE
Phillip van HeerdenStellenbosch University, Moeketsi RaselimoStellenbosch University, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University
01:40 - 02:00
Talk
SLE/GPCE
Chelsea BarraballStellenbosch University, Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
02:00 - 02:20
Talk
SLE/GPCE
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland