SALSA: Analyzing Logs as StAte Machines.

Jiaqi Tan Xinghao Pan Soila Kavulya Rajeev Gandhi Priya Narasimhan

Published in: WASL (2008)

Keyphrases

state machines
state machine
petri net
recurrent networks
ranking algorithm
artificial intelligence
fault tolerant
formal specification