Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Thu 24 Sep 2020 16:20 - 16:40 at Wombat - Model-Driven Development Chair(s): Marianne Huchard

Fuzzing or fuzz testing is an established technique that aims to discover unexpected program behavior (e.g. bugs, security vulnerabilities, or crashes) by feeding automatically generated data into a program under test. However, the application of fuzzing to test Model-Driven Software Engineering (MDSE) tools is still limited because of the difficulty of existing fuzzers to provide structured, well-typed inputs, namely models that conform to typing and consistency constraints induced by a given meta-model and underlying modeling framework. By drawing from recent advances on both fuzz testing and automated model generation, we present three different approaches for fuzzing MDSE tools: A graph grammar-based fuzzer and two variants of a coverage-guided mutation-based fuzzer working with different sets of model mutation operators. We have evaluated our fuzzing approaches on a set of real-world MDSE tools. Our experimental results show that all approaches can outperform both standard fuzzers and model generators w.r.t.\ their fuzzing capabilities. Moreover, we found that each of our approaches comes with its own strengths and weaknesses in terms of fault finding capabilities and the ability to cover different aspects of the system under test. Thus the approaches complement each other, forming a fuzzer suite for testing MDSE tools.

Thu 24 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

16:00 - 17:00
Model-Driven Development Journal-first Papers / Research Papers at Wombat
Chair(s): Marianne Huchard LIRMM
16:00
20m
Talk
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
Research Papers
Benjamin Gafford Grinnell College, Tobias Dürschmid Carnegie Mellon University, Institute for Software Research, Gabriel A. Moreno Carnegie Mellon University, USA, Eunsuk Kang Carnegie Mellon University, USA
16:20
20m
Talk
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
Research Papers
Hoang Lam Nguyen Humboldt-Universität zu Berlin, Nebras Nassar Philipps-Universität Marburg, Timo Kehrer Humboldt-Universtität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin
16:40
20m
Talk
Characterization of Implied Scenarios as Families of Common Behavior
Journal-first Papers
Caio Batista de Melo University of California, Irvine, André Luiz Fernandes Cançado University of Brasília, Genaína Nunes Rodrigues University of Brasília
Link to publication DOI Pre-print