Author:
Ye Mao,Feng Boqin,Zhu Li,Lin Yao
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Sayre, K.: Improved techniques for software testing based on Markov Chain usage models. PhD. thesis, University of Tennessee, Knoxville, USA (1999)
2. Yan, J., Wang, J., Chen, H.W.: Deriving software Markov Chain usage model from UML models. Chinese Journal of Software 16(8), 1386–1394 (2005)
3. Peters, D., Parnas, D.L.: Generating a test oracle from program documentation. In: Proc. of the 1994 Internatinoal Symposium on Software Testing and Analysis, pp. 58–65 (1994)
4. Bousquet, L., Ouabdesselam, F., Richier, J., Zuanon, N.: Lutess: a specification-driven testing environment for synchronous software. In: Proc. of the 21th International Conf. on Software Engineering, ACM Press, pp. 267–276 (1999)
5. Aggarwal, K.K., Singh, Y., Kaur, A., Sangwan, O.P.: A neural net based approach to test oracle. ACM SIGSOFT Software Engineering Notes 29(3), 1–6 (2004)