共 35 条
[1]
Using model checking to generate tests from specifications
[J].
SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS,
1998,
:46-54
[2]
ANDERSON JS, 1993, THESIS U OREGON
[3]
BARRETT A, 1995, UCPOP USERS MANUAL
[5]
CHOW TS, 1977, P 1 COMPSAC, P58
[6]
Coleman D., 1994, Object-Oriented Development: The Fusion Method
[8]
FICKAS S, 1988, CISTR8815 U OR DEP C
[9]
FIGLIULO T, 1996, P IEEE AER APPL C 19, V4, P335
[10]
Fowler M., 1997, UML Distilled: Applying the Standard Object Modeling Language