MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
| dc.contributor.author | Nguyen, Hoang Lam | |
| dc.contributor.author | Nassar, Nebras | |
| dc.contributor.author | Kehrer, Timo | |
| dc.contributor.author | Grunske, Lars | |
| dc.contributor.editor | Koziolek, Anne | |
| dc.contributor.editor | Schaefer, Ina | |
| dc.contributor.editor | Seidl, Christoph | |
| dc.date.accessioned | 2020-12-17T11:57:55Z | |
| dc.date.available | 2020-12-17T11:57:55Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | Fuzzing or fuzz testing is an established technique that aims to discover unexpected program behavior (\eg, bugs, 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. 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. Our evaluation on a set of real-world MDSE tools shows that our 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 code coverage and fault finding capabilities, thus complementing each other, forming a fuzzer suite for testing MDSE tools. | en |
| dc.identifier.doi | 10.18420/SE2021_29 | |
| dc.identifier.isbn | 978-3-88579-704-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/34524 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2021 | |
| dc.relation.ispartofseries | ecture Notes in Informatics (LNI) - Proceedings, Volume P-310 | |
| dc.subject | Model-Driven Software Engineering | |
| dc.subject | Modeling Tools | |
| dc.subject | Fuzzing | |
| dc.subject | Automated Model Generation | |
| dc.subject | Eclipse Modeling Framework | |
| dc.title | MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools | en |
| dc.type | Text/ConferencePaper | |
| gi.citation.endPage | 82 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 81 | |
| gi.conference.date | 22.-26. Februar 2021 | |
| gi.conference.location | Braunschweig/Virtuell |
Dateien
Originalbündel
1 - 1 von 1