125 citations · 138 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
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…
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,…