Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations.

Soichiro Hidaka

Published in: QRS Companion (2020)

Keyphrases

consistency maintenance
detection algorithm
error rate
object detection
detection method
graph structure
weighted graph
false positives
directed graph
detection rate
computational complexity
optimization problems
random walk
graph model
graph representation