A relation-based method combining functional and structural testing for test case generation

Ammann, 1994, Using formal methods to derive test frames in category-partition testing, 69 Barnett, 2003, Model-based testing Beizer, 1990 Beizer, 1995 Bernot, 1991, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, 6, 387, 10.1049/sej.1991.0040 Blackburn, M.R., Busser, R.D., Nauman, A.M., 2002. Interface-driven, model-based test automation. In: Proceedings of 2005 International Conference on Software Testing, Analysis and Review. Software Quality Engineering, November 14–18, 2002, pp. 27–30. Chen, 2004, An approach to integration testing based on data flow specifications, 235 Chen, 2005, A review approach to detecting structural consistency violations in programs, 61 Dalal, 1999, Model-based testing in practice, 285 El-Far, 2001 Kaner Cem, 2000. Grey box testing. In: Kaner Cem, Lawrence Brian (Eds.), Los Altos Workshop on Software Testing #9. Sunnyvale, CA, March 2000. Larman, 2003, Iterative and incremental development: a brief history, The Computer, 47, 10.1109/MC.2003.1204375 Liu, S., 2003. A case study of modeling an atm using SOFL. Technical Report HCIS-2003-01, CIS, Hosei University, Koganei-shi, Tokyo, Japan. Liu, 2004 Liu, 2005, An automated approach to specification-based program inspection, 3785, 421 McDonald, 1998, Translating object-Z specifications to passive test oracles, 165 Offutt, 1999, Generating test data from SOFL specifications, Journal of Systems and Software, 49, 49, 10.1016/S0164-1212(99)00066-7 Shannon, M., Miller, G., Prewitt, R.J., Loveland, S., 2004. Software Testing Techniques: Finding the Defects that Matter. Programming Series, Charles Biver Media, 2004. Stocks, 1996, A framework for specification-based testing, IEEE Transactions on Software Engineering, 22, 777, 10.1109/32.553698 Woodcock, 1996