CUTE: a concolic unit testing engine for C
暂无分享,去创建一个
[1] John McCarthy,et al. Correctness of a compiler for arithmetic expressions , 1966 .
[2] Carlos Urias Munoz,et al. Automatic Generation of Random Self-Checking Test Cases , 1983, IBM Syst. J..
[3] Bogdan Korel,et al. A dynamic approach of test data generation , 1990, Proceedings. Conference on Software Maintenance 1990.
[4] A. Jefferson Offutt,et al. A semantic model of program faults , 1996, ISSTA '96.
[5] Mary Lou Soffa,et al. Generating test data for branch coverage , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[6] Barton P. Miller,et al. An empirical study of the robustness of Windows NT applications using random testing , 2000 .
[7] K. Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP '00.
[8] Matthew B. Dwyer,et al. Finding Feasible Counter-examples when Model Checking Abstracted Java Programs , 2001, TACAS.
[9] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[10] Neelam Gupta,et al. Generating test data for functions with pointer inputs , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[11] George C. Necula,et al. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs , 2002, CC.
[12] Thomas A. Henzinger,et al. Lazy abstraction , 2002, POPL '02.
[13] Margus Veanes,et al. Generating finite state machines from abstract state machines , 2002, ISSTA '02.
[14] Sarfraz Khurshid,et al. Generalized Symbolic Execution for Model Checking and Testing , 2003, TACAS.
[15] Todd M. Austin,et al. High Coverage Detection of Input-Related Security Faults , 2003, USENIX Security Symposium.
[16] Thomas Ball,et al. Abstraction-guided Test Generation: A Case Study , 2003 .
[17] Sarfraz Khurshid,et al. Test input generation with java PathFinder , 2004, ISSTA '04.
[18] Thomas A. Henzinger,et al. Generating tests from counterexamples , 2004, Proceedings. 26th International Conference on Software Engineering.
[19] Yannis Smaragdakis,et al. JCrasher: an automatic robustness tester for Java , 2004, Softw. Pract. Exp..
[20] Sergey Berezin,et al. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B , 2004, CAV.
[21] D. Notkin,et al. Rostra: a framework for detecting redundant object-oriented unit tests , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[22] David Notkin,et al. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution , 2005, TACAS.
[23] Dawson R. Engler,et al. Execution Generated Test Cases: How to Make Systems Code Crash Itself , 2005, SPIN.
[24] C. Csallner,et al. Check 'n' crash: combining static checking and testing , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[25] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[26] Michael D. Ernst,et al. Eclat: Automatic Generation and Classification of Test Inputs , 2005, ECOOP.