Program Repair Suggestions from Graphical State-Transition Specifications.

Farn Wang Chih-Hong Cheng

Published in: FORTE (2008)

Keyphrases

state transition
finite state machines
state transitions
input output
state transition model
hidden markov models
state space
black box
control flow
markov chain
probability distribution
formal specification
computer programs
recursive programs
databases
image sequences
high level
execution traces
delay insensitive