Guided Merging of Sequence Diagrams
Abstract elided by the publisher.
Related papers
- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams SLE 2014
- SYCO: a systematic testing tool for concurrent objects CC 2016
- ABC: Towards a Universal Code Styler through Model Merging OOPSLA 2025
- Function Merging by Sequence Alignment CGO 2019
- Parameterized Algorithms and Complexity for Function Merging with Branch Reordering PLDI 2026
- Eliminate Branches by Melding IR Instructions ECOOP 2026
- Effective function merging in the SSA form PLDI 2020
- On Merging and Selection JFP 1997