Visual Assurance in Refactoring Through Trace Equivalence of Control Flow Graphs.

Céline Deknop Johan Fabry Kim Mens Vadim Zaytsev

Published in: SANER (2024)

Keyphrases

flow graphs
flow graph
visual features
control system
visual information
decision making
decision table
visual perception
neural network
low level
open source
smart card
data quality
information flow