1. [1] Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M. and Fitzgerald, J.: Validated Designs For Object-oriented Systems, Springer Verlag (1998).
2. [2] Kurita, T., Chiba, M. and Nakatsugawa, Y.: Application of a formal specificaton language in the development of the mobile felica IC chip firmware for embedding in mobile phone, FM 2008: FORMAL METHODS, pp.425-429 (2008).
3. QuickCheck
4. [4] Graves, T.L., Harrold, M.J., Kim, J.-M., Porter, A. and Rothermel, G.: An empirical study of regression test selection techniques, ACM Trans. Softw. Eng. Methodology, Vol.10, No.2, pp.184-208 (2001).
5. [5] Wong, W., Horgan, J.R., London, S. and Agrawal, H.: A study of effective regression testing in practice, Proc. 8th International Symposium on Software Reliability Engineering (1997).