SLE 2021
Sun 17 - Tue 19 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Sun 17 Oct 2021 11:50 - 11:58 at Zurich C - GPCE/SLE Session 2 Chair(s): Coen De Roover
Sun 17 Oct 2021 19:50 - 19:58 at Zurich C - GPCE/SLE Session 2 Chair(s): Eli Tilevich

Domain-specific languages (DSLs) encompass syntax and semantics. Two crucial aspects for the trustworthy application of DSLs within development projects are their semantic correctness, and proper testing support for their users. Testing is frequently used to verify correctness, but is often done informally – which may yield unreliable results – and requires substantial effort for creating suitable test cases and oracles.

To alleviate this situation, we propose an automated technique for building metamorphic testing environments for DSLs. Metamorphic testing identifies expected relationships between the outputs of two consecutive tests, reducing the effort in specifying oracles and creating test cases manually. This new ideas paper presents the overarching concepts, the architecture and a prototype implementation. We illustrate our proposal using a DSL to model and simulate data centres.

Sun 17 Oct

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

10:50 - 12:10
GPCE/SLE Session 2SLE / GPCE at Zurich C +8h
Chair(s): Coen De Roover Vrije Universiteit Brussel
10:50
30m
Keynote
GPCE Keynote - Live Programming and Programming by Example: Better TogetherVirtualKeynote
GPCE
Sorin Lerner University of California at San Diego
11:20
15m
Talk
Automating the Synthesis of Recommender Systems for Modelling LanguagesVirtual
SLE
Lissette Almonte Universidad Autónoma de Madrid, Sara Perez-Soler Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
11:35
15m
Talk
Executing Certified Model Transformations on Apache SparkVirtual
SLE
Jolan Philippe IMT Atlantique, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Hélène Coullon IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N
11:50
8m
Talk
New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific LanguagesVirtual
SLE
Pablo C Canizares Autonomous University of Madrid, Spain, Pablo Gómez-Abajo Universidad Autónoma de Madrid, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
11:58
12m
Live Q&A
Discussion, Questions, Answers
GPCE

18:50 - 20:10
GPCE/SLE Session 2SLE / GPCE at Zurich C
Chair(s): Eli Tilevich Virginia Tech
18:50
30m
Keynote
GPCE Keynote - Live Programming and Programming by Example: Better TogetherVirtualKeynote
GPCE
Sorin Lerner University of California at San Diego
19:20
15m
Talk
Automating the Synthesis of Recommender Systems for Modelling LanguagesVirtual
SLE
Lissette Almonte Universidad Autónoma de Madrid, Sara Perez-Soler Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
19:35
15m
Talk
Executing Certified Model Transformations on Apache SparkVirtual
SLE
Jolan Philippe IMT Atlantique, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Hélène Coullon IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N
19:50
8m
Talk
New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific LanguagesVirtual
SLE
Pablo C Canizares Autonomous University of Madrid, Spain, Pablo Gómez-Abajo Universidad Autónoma de Madrid, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
19:58
12m
Live Q&A
Discussion, Questions, Answers
GPCE