Improvement of the Baseline Method in Structural Testing
暂无分享,去创建一个
[1] Chien-Hung Liu. Data flow analysis and testing of JSP-based Web applications , 2006, Inf. Softw. Technol..
[2] Ilona Bluemke,et al. Dataflow Approach to Testing Java Programs , 2009, 2009 Fourth International Conference on Dependability of Computer Systems.
[3] John A. Clark,et al. A search-based framework for automatic testing of MATLAB/Simulink models , 2008, J. Syst. Softw..
[4] Norbert Oster,et al. White and grey-box verification and validation approaches for safety- and security-critical software systems , 2008, Inf. Secur. Tech. Rep..
[5] Siti Zaiton Mohd Hashim,et al. An automated framework for software test oracle , 2011, Inf. Softw. Technol..
[6] Jon Edvardsson,et al. A Survey on Automatic Test Data Generation , 2002 .
[7] Baowen Xu,et al. Testing web applications focusing on their specialties , 2005, SOEN.
[8] Alessandra Cavarra,et al. A data-flow approach to test multi-agent ASMs , 2009, Formal Aspects of Computing.
[9] Jia Limin,et al. Research of searching algorithm for path test data generation , 2009, 2009 4th International Conference on Computer Science & Education.
[10] Arnaud Gotlieb,et al. Symbolic Path-Oriented Test Data Generation for Floating-Point Programs , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
[11] Dolores R. Wallace,et al. Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric , 1996 .
[12] Rance Cleaveland,et al. Using formal specifications to support testing , 2009, CSUR.
[13] W. Greub. Linear Algebra , 1981 .
[14] Arnaud Gotlieb,et al. Goal-oriented test data generation for pointer programs , 2007, Inf. Softw. Technol..
[15] N. K. Gupta,et al. Improving GA based automated test data generation technique for object oriented software , 2013, 2013 3rd IEEE International Advance Computing Conference (IACC).
[16] Wilkerson de L. Andrade,et al. Generating Test Cases for Real-Time Systems Based on Symbolic Models , 2013, IEEE Transactions on Software Engineering.
[17] Basel A. Mahafzah,et al. Using program data-state scarcity to guide automatic test data generation , 2010, Software Quality Journal.
[18] Zarina Shukur,et al. An experimental assessment of module documentation-based testing , 2011, Inf. Softw. Technol..
[19] Hareton K. N. Leung,et al. The Minimal Failure-Causing Schema of Combinatorial Testing , 2011, TSEM.
[20] W. Eric Wong,et al. Establishing structural testing criteria for Java bytecode , 2006, Softw. Pract. Exp..