Testing Container Classes: Random or Systematic?
暂无分享,去创建一个
Gordon Fraser | Darko Marinov | Andrea Arcuri | Milos Gligoric | Rohan Sharma | D. Marinov | Miloš Gligorić | G. Fraser | A. Arcuri | Rohan Sharma
[1] Andrea Arcuri. Longer is Better: On the Role of Test Sequence Length in Software Testing , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.
[2] Andreas Zeller,et al. Javalanche: efficient mutation testing for Java , 2009, ESEC/SIGSOFT FSE.
[3] R. Taylor,et al. Partition testing does not inspire confidence , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.
[4] Luciano Baresi,et al. TestFul: An Evolutionary Test Approach for Java , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.
[5] Lionel C. Briand,et al. A practical guide for using statistical tests to assess randomized algorithms in software engineering , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[6] Elaine J. Weyuker,et al. Analyzing Partition Testing Strategies , 1991, IEEE Trans. Software Eng..
[7] Francisco Fernández de Vega,et al. Enabling Object Reuse on Genetic Programming-Based Approaches to Object-Oriented Evolutionary Testing , 2010, EuroGP.
[8] Simeon C. Ntafos,et al. An Evaluation of Random Testing , 1984, IEEE Transactions on Software Engineering.
[9] Sarfraz Khurshid,et al. Test input generation with java PathFinder , 2004, ISSTA '04.
[10] Alex Groce,et al. Random Test Run Length and Effectiveness , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[11] David Notkin,et al. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution , 2005, TACAS.
[12] Frank D. Valencia,et al. Formal Methods for Components and Objects , 2002, Lecture Notes in Computer Science.
[13] Lionel C. Briand,et al. Formal analysis of the effectiveness and predictability of random testing , 2010, ISSTA '10.
[14] Thomas Ball,et al. A Theory of Predicate-Complete Test Coverage and Generation , 2004, FMCO.
[15] Tim Menzies,et al. Genetic Algorithms for Randomized Unit Testing , 2011, IEEE Transactions on Software Engineering.
[16] Paolo Tonella,et al. Evolutionary testing of classes , 2004, ISSTA '04.
[17] Marcelo F. Frias,et al. Analysis of invariants for efficient bounded verification , 2010, ISSTA '10.
[18] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[19] Tao Xie,et al. DSD-Crasher: A hybrid analysis tool for bug finding , 2008 .
[20] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[21] Michael D. Ernst,et al. Feedback-Directed Random Test Generation , 2007, 29th International Conference on Software Engineering (ICSE'07).
[22] Marcelo d'Amorim,et al. An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
[23] Phyllis G. Frankl,et al. An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing , 1993, IEEE Trans. Software Eng..
[24] A. Jefferson Offutt,et al. Introduction to Software Testing , 2008 .
[25] Tao Xie,et al. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[26] Darko Marinov,et al. A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
[27] Corina S. Pasareanu,et al. Parallel symbolic execution for structural test generation , 2010, ISSTA '10.
[28] A. Vargha,et al. A Critique and Improvement of the CL Common Language Effect Size Statistics of McGraw and Wong , 2000 .
[29] Joachim Wegener,et al. Evolutionary unit testing of object-oriented software using strongly-typed genetic programming , 2006, GECCO '06.
[30] Andrea Arcuri,et al. Insight knowledge in search based software testing , 2009, GECCO.
[31] Xin Yao,et al. Search based software testing of object-oriented containers , 2008, Inf. Sci..
[32] David Notkin,et al. Rostra: a framework for detecting redundant object-oriented unit tests , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[33] Francisco Fernández de Vega,et al. Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software , 2009, Inf. Softw. Technol..
[34] David Notkin,et al. Rostra: a framework for detecting redundant object-oriented unit tests , 2004 .
[35] Corina S. Pasareanu,et al. Test input generation for java containers using state matching , 2006, ISSTA '06.