A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures
暂无分享,去创建一个
Darko Marinov | Vilas Jagannath | Milos Gligoric | Rohan Sharma | D. Marinov | Miloš Gligorić | V. Jagannath | Rohan Sharma
[1] Corina S. Pasareanu,et al. Test input generation for red-black trees using abstraction , 2005, ASE.
[2] Sarfraz Khurshid,et al. Efficient solving of structural constraints , 2008, ISSTA '08.
[3] Sarfraz Khurshid,et al. Generalized Symbolic Execution for Model Checking and Testing , 2003, TACAS.
[4] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[5] Sarfraz Khurshid,et al. Software assurance by bounded exhaustive testing , 2004, IEEE Transactions on Software Engineering.
[6] Ronald L. Rivest,et al. Introduction to Algorithms, third edition , 2009 .
[7] Barbara Liskov,et al. Program Development in Java - Abstraction, Specification, and Object-Oriented Design , 1986 .
[8] Marcelo d'Amorim,et al. Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs , 2008, IEEE Trans. Software Eng..
[9] Nikolai Tillmann,et al. MSeqGen: object-oriented unit-test generation via mining source code , 2009, ESEC/SIGSOFT FSE.
[10] Neil J. A. Sloane,et al. The encyclopedia of integer sequences , 1995 .
[11] Sarfraz Khurshid,et al. Test input generation with java PathFinder , 2004, ISSTA '04.
[12] Sarfraz Khurshid,et al. Korat: A Tool for Generating Structurally Complex Test Inputs , 2007, 29th International Conference on Software Engineering (ICSE'07).
[13] Klaus Havelund,et al. Model checking programs , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[14] Radu Iosif. Exploiting heap symmetries in explicit-state model checking of software , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[15] Sarfraz Khurshid,et al. Parallel test generation and execution with Korat , 2007, ESEC-FSE '07.
[16] 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).
[17] David Notkin,et al. Rostra: a framework for detecting redundant object-oriented unit tests , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[18] Sarfraz Khurshid,et al. TestEra: a novel framework for automated testing of Java programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[19] Michael D. Ernst,et al. Eclat: Automatic Generation and Classification of Test Inputs , 2005, ECOOP.
[20] Sarfraz Khurshid,et al. An Evaluation of Exhaustive Testing for Data Structures , 2003 .
[21] Michael D. Ernst,et al. Feedback-Directed Random Test Generation , 2007, 29th International Conference on Software Engineering (ICSE'07).
[22] Darko Marinov,et al. Automated testing of refactoring engines , 2007, ESEC-FSE '07.
[23] Yannis Smaragdakis,et al. JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..
[24] Darko Marinov,et al. Automatic testing of software with structurally complex inputs , 2005 .
[25] Paolo Tonella,et al. Evolutionary testing of classes , 2004, ISSTA '04.
[26] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[27] Keith Stobie. Model Based Testing in Practice at Microsoft , 2005, Electron. Notes Theor. Comput. Sci..