CVSM Bibliography, Entry [ XiSLD2010ASE ]


Xing, Zhenchang; Sun, Jun; Liu, Yang; Dong, Jin Song: SpecDiff: debugging formal specifications;
p.353-354 in: Proc. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10), Antwerp, Belgium, September 20 - 24, 2010; ACM; 2010
Download: Volltext
Library Entries: ACM Digital Library
Deskriptoren: CVSM

Abstract: This paper presents our SpecDiff tool that exploits the model differencing technique for debugging and understanding evolving behaviors of formal specifications. SpecDiff has been integrated in the Process Analysis Toolkit (PAT), a framework for formal specification, verification and simulation. SpecDiff is able to assist in diagnosing system faults, understanding the impacts of specification optimization techniques, and revealing the system change patterns.