125 citations · 138 across the 6 of their papers we have counts for
6 papers
TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software
Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim +5
Software systems for safety-critical systems like self-driving cars (SDCs) need to be tested rigorously. Especially electronic control units (ECUs) of SDCs should be tested with re…
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Laura Wartschinski, Yannic Noller, Thomas Vogel +2
Context: Identifying potential vulnerable code is important to improve the security of our software systems. However, the manual detection of software vulnerabilities requires expe…
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining
Christof Tinnes, Timo Kehrer, Mitchell Joblin +3
Model transformations play a fundamental role in model-driven software development. They can be used to solve or support central tasks, such as creating models, handling model co-e…
Shadow Symbolic Execution with Java PathFinder
Yannic Noller, Hoang Lam Nguyen, Minxing Tang +1
Regression testing ensures that a software system when it evolves still performs correctly and that the changes introduce no unintended side-effects. However, the creation of regre…
Proceedings Third Workshop on Graphs as Models
Timo Kehrer, Alice Miller
Graphs are used as models in many areas of computer science and computer engineering. For example graphs are used to represent syntax, control and data flow, dependency, state spac…
An EMOF-Compliant Abstract Syntax for Bigraphs
Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
Bigraphs are an emerging modeling formalism for structures in ubiquitous computing. Besides an algebraic notation, which can be adopted to provide an algebraic syntax for bigraphs,…