SpecDiff: Debugging formal specifications

Zhenchang Xing; Jun Sun; Yang Liu; Jin Song Dong

doi:10.1145/1858996.1859072

SpecDiff: Debugging formal specifications

Zhenchang Xing^*, Jun Sun, Yang Liu, Jin Song Dong

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
Pages	353-354
Number of pages	2
DOIs	https://doi.org/10.1145/1858996.1859072
Publication status	Published - 2010
Externally published	Yes
Event	25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 - Antwerp, Belgium Duration: 20 Sept 2010 → 24 Sept 2010

Publication series

Name	ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Conference

Conference	25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10
Country/Territory	Belgium
City	Antwerp
Period	20/09/10 → 24/09/10

Access to Document

10.1145/1858996.1859072

Cite this

@inproceedings{b31148dbbfe14517a78689f2256022c5,

title = "SpecDiff: Debugging formal specifications",

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.",

keywords = "Model checking, Model differencing, PAT",

author = "Zhenchang Xing and Jun Sun and Yang Liu and Dong, {Jin Song}",

year = "2010",

doi = "10.1145/1858996.1859072",

language = "English",

isbn = "9781450301169",

series = "ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering",

pages = "353--354",

booktitle = "ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering",

note = "25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 ; Conference date: 20-09-2010 Through 24-09-2010",

}

Xing, Z, Sun, J, Liu, Y & Dong, JS 2010, SpecDiff: Debugging formal specifications. in ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering. ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 353-354, 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10, Antwerp, Belgium, 20/09/10. https://doi.org/10.1145/1858996.1859072

SpecDiff: Debugging formal specifications. / Xing, Zhenchang; Sun, Jun; Liu, Yang et al.
ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering. 2010. p. 353-354 (ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - SpecDiff

T2 - 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10

AU - Xing, Zhenchang

AU - Sun, Jun

AU - Liu, Yang

AU - Dong, Jin Song

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - Model checking

KW - Model differencing

KW - PAT

UR - http://www.scopus.com/inward/record.url?scp=78649802366&partnerID=8YFLogxK

U2 - 10.1145/1858996.1859072

DO - 10.1145/1858996.1859072

M3 - Conference contribution

SN - 9781450301169

T3 - ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

SP - 353

EP - 354

BT - ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Y2 - 20 September 2010 through 24 September 2010

ER -

SpecDiff: Debugging formal specifications

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this