Patch verification via multiversion interprocedural control flow graphs.

Wei Le Shannon D. Pattison

Published in: ICSE (2014)

Keyphrases

flow graphs
flow graph
control system
databases
database
neural network
artificial intelligence
information systems
pattern recognition
data warehouse
concurrency control
control strategy
data mining
genetic algorithm
model checking
control method