Neural networks based automated test oracle for software testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4234 LNCS - III, Issue , 2006, Pages 498-507

  Ye, Mao ^a   Feng, Boqin ^a   Zhu, Li ^a   Lin, Yao ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; NEURAL NETWORKS; STATISTICAL METHODS;

ORACLE; STATISTICAL SOFTWARE TESTING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 33750708220     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (19)

1. Sayre, K.: Improved techniques for software testing based on Markov chain usage models, PhD. thesis, University of Tennessee, Knoxville, USA (1999)
2. Bertolini, C., Farina, A.G., Fernandes, P., Oliveira, F.M.: Test case generation using stochastic automata networks: quantitative analysis, In: Proc. of the second International Conf. on Software Engineering and Formal Methods, IEEE Press (2004) 251-260
3. Beyer, M., Dulz, W., Zhen, F.: Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains, In: Proc. of the 12th Asian Test Symposium, Piscataway : IEEE Press (2003) 102-105
4. Peters, D., Parnas, D.L.: Generating a test oracle from program documentation, In: Proc. of the International Symposium on Software Testing and Analysis (1994) 58-65
5. 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 (1999) 267-276
6. Dillon, L.K., Ramakrishna, Y.S.: Generating oracles from your favorite temporal logic specifications, In: Proc. of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Software Engineering Notes, vol.21 (1996) 106-117
7. Schroeder, P.J., Faherty, P., Korel, B.: Generating expected results for automated blackbox testing, In: Proc. of the 17th IEEE International Conf. on Automated Software Engineering, IEEE Press (2002) 139-148
8. Ostrand, T., Anodide, A., Foster, H., Goradia, T.: A visual test development environment for GUI systems, ACM SIGSOFT Software Engineering Notes, vol.23, no.2 (1998) 82-92
9. Chen, W.K., Tsai, T.H., Chao, H.H.: Integration of specification-based and CR-based approaches for GUI testing, In: Proc. of the 19th International Conf. on Advanced Information Networking and Applications, vol. 1 (2005) 967-972
10. Memon, A., Nagarajan, A. Xie, Q.: Automating regression testing for evolving GUI software, Journal of Software Maintenance and Evolution: Research and Practice, vol.17, no.1 (2005) 27-64
11. Chen, J. Subramaniam, S.: Specification-based testing for GUI-based applications, Software Quality Journal, vol.10, no.3 (2002) 205-224
12. Hierons, R.M.: Testing from a Z specification, Software Testing, Verification, and Reliability, vol.7 (1997) 19-33
13. McDonald, J. Strooper, P.: Translating object-Z specifications to passive test oracles, In: Proc. of the 2th International Conf. on Formal Engineering Methods, IEEE Press (1998) 165-174
14. Aggarwal, K.K., Singh, Y., Kaur, A., Sangwan, O.P.: A neural net based approach to test oracle, ACM SIGSOFT Software Engineering Notes, ACM Press, vol.29, no.3 (2004) 1-6
15. Ramamoorthy G.V., Ho S.F., Chen W.T.: On the automated generation of program test data, IEEE Trans. Software Engineering, vol.SE-2 (1976) 293-300
16. Chen, T., Chen, H.: Approximations of continuous functionals by neural networks with application to dynamic systems, IEEE Trans. Neural Networks, vol.4, no.6 (1993) 910-918
17. Chen, D.S., Jain, R.C.: A robust back propagation learning algorithm for function approximation, IEEE Trans. Neural Networks, vol.5, no.3 (1994) 467-479
18. Duda, R.O., Hart, P.E., Stork, D.G.: Pattern classification, second edition, John Wiley & Sons (2001)
19. Fausett, L.: Fundamentals of neural networks: architectures, algorithms, and application, Prentice Hall: Englewood Cliffs, New Jersey (1994)