Artificial neural network for automatic test oracles generation

Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008

Volumn 2, Issue , 2008, Pages 727-730

  Hu, Jin ^a   Yi, Wang ^a   Chen, Nian Wei ^a   Gou, Zhi Jian ^a   Shuo, Wang ^a  

^a CHENGDU UNIVERSITY OF INFORMATION TECHNOLOGY   (China)

Author keywords

Artificial neural network; Automatic software testing; heuristic study; software under test.; Test oracle

Indexed keywords

ARTIFICIAL NEURAL NETWORK; AUTOMATIC SOFTWARE TESTING; HEURISTIC STUDY; SOFTWARE UNDER TEST.; TEST ORACLE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; HEURISTIC ALGORITHMS; SOFTWARE ENGINEERING; SOFTWARE TESTING; TESTING;

NEURAL NETWORKS;

EID: 79551639417     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSSE.2008.774     Document Type: Conference Paper

References (15)

1. Glenford. J myers., "The Art of Software Testing", John Wiley & Sons, Inc., North America, 1979.
2. Roger S. Pressman., "Software Engineering: A Practitioner's Approach", 2004.
3. Stefan Jungmayr, "Reviewing Software Artifacts for Testability", Barcelona, Spain, Proceedings of the EuroSTAR'99, November, 1999.
4. Sipser Michael., "Introduction to the Theory of Computation", PWS Publishing Company, Boston, 1997.
5. L K Dillon, Y S Ramakrishna., "Generating Oracles from your favorite Temporal Logic Specifications", Proc of the 4th ACM SIGSOFT Symp on the Foundations of Software Engineering, 1996, pp 106-117.
6. Wang Xin, Wang Ji, Qi Zhi-chang., "An Overiview: Temporal Specification-Based Technologies of Automatic Generation Test Oracle", Vol.28, No. 7, 2006, ppl27-130.
7. E. M. Clarke, O. Grumber and D.Long., "Model Checking and Abstraction", In Proceedings of the Nineteenth Annual ACM Symposium on Applications, North-Holland, April 1993.
8. E. M. Clarke, O. Grumberg and D. Long., "Verification tools for finite-state concurrent systems", Springer Berlin, Lecture Notes in Computer Science, Volume 803, 1994.
9. John R. Callahan, Stephen M. Easterbrook., "Generating Test Oracles via Model Checking", Technique Report, NASA/WVU Software Research Lab, 1998.
10. Du Zhang, "Applying machine learning algorithms in software development",The Proceedings of 2000 Monterey, CA, 2000.
11. Douglas Hoffman, "Heuristic test oracles", Software Testing and Quality Engineering, Vol. 12, 1999.
12. Baresi, L. and Young, M., "Test Oracles", Technique Report CIS-TR-01-02, University of Oregon, Department of Computer and Information Science, August, 2001.
13. Mohamad H. Hassoun., "Fundamentals of Artificiai Neural Networks", MIT Press, 1995.
14. Zhang Jun Ying., "Fundamentals of Binary Feeding Forward Artificiai Neural Networks", XIDIAN University Press, 2001.
15. Huajin Tang., "Neural Networks: Computational Models and Applications", Springer Press, 2007.