Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 14:20 - 14:45 at Zürich 2 - Language Validation Chair(s): Ralf Laemmel

Transformations form an important part of developing domain specific languages, where they are used to provide semantics for typing and evaluation. Yet, few solutions exist for verifying transformations written in expressive high-level transformation languages. We take a step towards that goal, by developing a general symbolic execution technique that handles programs written in these high-level transformation languages. We use logical constraints to describe structured symbolic values, including containment, acyclicity, simple unordered collections (sets) and to handle deep type-based querying of syntax hierarchies. We evaluate this symbolic execution technique on a collection of refactoring and model transformation programs, showing that the white-box test generation tool based on symbolic execution obtains better code coverage than a black box test generator for such programs in almost all tested cases.

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Language ValidationSLE at Zürich 2
Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany
13:30
25m
Talk
Automated Testing Support for Reactive Domain-Specific Modelling Languages
SLE
Bart Meyers University of Antwerp, Belgium, Joachim Denil University of Antwerp, Belgium, István Dávid University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp, Canada
DOI
13:55
25m
Talk
Side Effects Take the Blame
SLE
Felipe Bañados Schwerter University of British Columbia, Canada
DOI
14:20
25m
Talk
Symbolic Execution of High-Level TransformationsArtifact EvaluationDistinguished paper nominee
SLE
Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
Link to publication DOI Pre-print Media Attached
14:45
15m
Talk
Raincode Assembler Compiler (Tool Demo)
SLE
Volodymyr Blagodarov Raincode, Belgium, Yves Jaradin Raincode, Belgium, Vadim Zaytsev Raincode, Belgium
DOI