SpecDiff: debugging formal specifications

Authors:
Zhenchang Xing;Jun Sun;Yang Liu;Jin Song Dong
Affiliations:
National University of Singapore, Singapore, Singapore;National University of Singapore, Singapore, Singapore;National University of Singapore, Singapore, Singapore;National University of Singapore, Singapore, Singapore
Venue:
Proceedings of the IEEE/ACM international conference on Automated software engineering
Year:
2010

Citing 5
Cited 0

Identifying syntactic differences between two programs

Software—Practice & Experience
Empirical evaluation of the tarantula automatic fault-localization technique

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
PAT: Towards Flexible Verification under Fairness

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Darwin: an approach for debugging evolving programs

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Integrating Specification and Programs for System Modeling and Verification

TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.