2.Object Modeling Technique Structured Enviroment-StP/T user Guide Release 5[]..
3Tsai W T,Volovik D,Tkeefe T F.Automated test case generation for programs specified by relational algebra queries[].IEEE Transactions on Software Engineering.1990
4Lou,G.,Das,A.,Bochmann,G. V.Software testing based on SDL specifications with save[].IEEE Transactions on Software Engineering.1994
5P. Jalote and M. G. Caballero.Automated testcase generation for data abstraction[]..1988
6A. E. Westley.Forward To Software Testing[]..1979