Author:
Zhang Ran,Wang Ya-wen,Zhang Ming-zhe
Reference12 articles.
1. Luciano Baresi, Michal Yong. Test Oracles[R]. Technical Report CIS TR0102, Department of Computer and Information Science, University of Oregon, 2001.
2. Sipser Michael. Introduction to the Theory of Computation. PWS Publishing Company, Boston, 1997.
3. Andrews, J.H., R. Fu, V.D. Liu. Adding value to formal test oracles. Proceedings 17th IEEE International Conference on Automated Software Engineering. 2002, pp: 275–278.
4. John R. Callahan, Stephen M. Easterbrook. Generating Test Oracles via Model Checking. Technique Report, NASA/WVU Software Research Lab, 1998.
5. L K Dillon, Y S Ramakrishna. Generating Oracles from your favorite Temporal Logic Specifications. Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1996:pp 106–117.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献