Software monitoring through formal specification animation

Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong. Software monitoring through formal specification animation. ISSE, 5(4):231-241, 2009. [doi]

Abstract

Abstract is missing.