共 7 条
[1]
Generating Test Data from SOFL Specifications. Offutt J,Liu Shaoying. The Journal of Systems and Software . 1999
[2]
Deriving Mode Invariants from SCR Specifications. JiuZhenyi. Proceedings of Second IEEE International Conference onEngineering of Complex Computer Systems . 1996
[3]
Native Model-checking of SCR Requirements. Atlee.J.M. FourthInternational SCR Workshop . 1994
[4]
Rational Rose 98:Using Rational Rose. Rational Software Corporation. . 1998
[5]
IJML Distilled,Applying the Standard ObjectModeling Language Reading. Fowler M,Scott K. . 1997
[6]
Gfncrating Test Case from UML Pecifications. Abdurazik A,Offutt J. . 1999
[7]
Criteria for GeneratingSpecification-based Test. Offutt J,Xiong Yiwei,Liu Shaoying. Proceedings of the Fifth IEEEInternational Conference on Engineerig of Complex ComputerSystems . 1999