1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.SE2021
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…
cs.SE2018
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…
cs.LO2017★ 1 cited
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…