[1]Harel D. Statecharts: A Visual Formalism for Complex Systems[J]. Science of Computer
Programming, 1987, 8(3):231274.
[2]Harel D,Pnueli A. On the Development of Reactive Systems[J]. Logic and Model of
Concurrent Systems, 1984, 13:477498.
[3]Tretmans J. Test Generation with Inputs, Outputs and Repetitive Quiescence[J]. Software
Concepts and Tools, 1996, 17(3):103120.
[4]Tretmans J. Testing Concurrent Systems: A Formal Approach[C]∥Proc of CONCUR’99,
1999:4665.
[5]Tretmans J. Conformance Testing with Labelled Transition Systems: Implementation
Relations and Test Generation[J].Computer Networks and ISDN Systems, 1996, 29(1):4979.
[6]Brinksma E,Tretmans J. Testing Transition Systems: An Annotated Bibliography[C]∥Proc
of MOVEP’00, 2001:187195.
[7]Latella D, Majzik I, Massink M. Towards a Formal Operational Semantics of UML Statechart
Diagrams[C]∥Proc of FMOODS’99,1999:331347.
[8]Latella D,Massink M. A Formal Testing Framework for UML Statechart Diagrams Behaviours:
From Theory to Automatic Verification[C]∥Proc of the 6th IEEE Int’l HighAssurance
Systems Engineering Symp,2001:1122.
[9]Latella D,Massink M. On Testing and Conformance Relations of UML Statechart Diagrams
Behaviours[C]∥Proc of the ACM SIGSOFT 2002 Int’l Symp on Software Testing and
Analysis,2002:144153.
[10]Gnesi S, Latella D, Massink M. Formal TestCase Generation for UML Statecharts[C]∥
Proc of ICECCS’04,2004:7584.
[11]Leveson N G, Heimdahl M P E,Hildreth H,et al. Requirements Specification for Process
Control Systems[J]. IEEE Transactions on Software Engineering, 1994, 20(9):684707.
[12]Selic B, Gullekson G, Ward P T. RealTime ObjectOriented Modeling[M]. John Wiley &
Sons, 1994.
[13]Booch G, Rumbaugh J, Jacobson I. The Unified Modeling Language User Guide[M]. Addison
Wesley, 1998.
[14]Harel D, Pnueli A, Schmidt J P, et al. On the Formal Semantics of Statecharts(Extended
Abstract)[C]∥Proc of Logic in Computer Science, 1987:5464.
[15]Harel D,Naamad A. The STATEMATE Semantics of Statecharts[J]. ACM Transactions on
Software Engineering Methodology, 1996, 5(4):293333.
[16]董威, 王戟, 齐治昌.UMLStatecharts的模型检验方法[J]. 软件学报, 2003, 14(4):750756.
[17]Bernot G. Testing Against Formal Specifications: A Theoretical View[C]∥Proc of
TAPSOFT’91,1991:99119.
[18]Tretmans J. A Formal Approach to Conformance Testing:[Ph D Thesis][D].University of
Twente (NL), 1992. |