Specification-based Test Generation and Optimization Using Model Checking

Authors:
Hongwei Zeng;Huaikou Miao;Jing Liu
Affiliations:
Wuhan University,;Shanghai University, Shanghai 200072, China;China Normal University, Shanghai 200062, China
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 2

A Framework for Testing Semantic Web Services Using Model Checking

SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Formalizing correctness criteria of dynamic updates derived from specification changes

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ...