Automated Large-Scale Simulation Test-Data Generation for Object-Oriented Software Systems
暂无分享,去创建一个
Yan Ma | Yujun Zheng | Jinyun Xue | Yujun Zheng | Jinyun Xue | Yan Ma
[1] Richard T. Mraz. Automated testing of application domains , 1995 .
[2] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[3] David Notkin,et al. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution , 2005, TACAS.
[4] Boris Beizer,et al. Software testing techniques (2. ed.) , 1990 .
[5] David Notkin,et al. Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions , 2004, ICFEM.
[6] Ling Liu,et al. A Specification-Based Approach to Testing Polymorphic Attributes , 2004, ICFEM.
[7] M. Vieira,et al. 1 UML-based Test Generation and Execution , 2004 .
[8] Jon Edvardsson,et al. A Survey on Automatic Test Data Generation , 2002 .
[9] Bogdan Korel,et al. The chaining approach for software test data generation , 1996, TSEM.
[10] Boris Beizer,et al. Software Testing Techniques , 1983 .
[11] Yannis Smaragdakis,et al. JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..
[12] Chi-Jen Lu,et al. Oblivious polynomial evaluation and oblivious neural learning , 2001, Theor. Comput. Sci..
[13] Mario Lefebvre,et al. Applied Stochastic Processes , 2006 .
[14] John C. Grundy,et al. Deployed software component testing using dynamic validation agents , 2005, J. Syst. Softw..
[15] Moni Naor,et al. Oblivious transfer and polynomial evaluation , 1999, STOC '99.
[16] Andrew Chi-Chih Yao,et al. How to generate and exchange secrets , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).
[17] John Paul,et al. Automated Software Testing: Introduction, Management, and Performance , 1999 .
[18] Jan Tretmans,et al. Test Generation Based on Symbolic Specifications , 2004, FATES.
[19] Phong Q. Nguyen,et al. Noisy Polynomial Interpolation and Noisy Chinese Remaindering , 2000, EUROCRYPT.
[20] Silvio Micali,et al. Non-Interactive Oblivious Transfer and Spplications , 1989, CRYPTO.
[21] George Adomian. Applied stochastic processes , 1980 .