|
References [1] Patrice Godefroid, "Compositional dynamic test generation," in POPL '07: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 47-54, 2007. [2] Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill and Dawson R. Engler, "EXE: Automatically generating inputs of death," In CCS '06: Proceedings of the 13th ACM Conference on Computer and Communications Security, pp. 322-335, 2006. [3] Koushik Sen, Darko Marinov and Gul Agha, "CUTE: A concolic unit testing engine for C," In ESEC/FSE-13: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 263-272, 2005. [4] Bernard Elspas, Karl N. Levitt, Richard J. Waldinger and Abraham Waksman, "An assessment of echniques for proving program correctness," ACM Computing Surveys (CSUR), vol. 4, pp. 97-147, 1972. [5] Chittor V. Ramamoorthy and Siu-Bun Ho, "Testing large software with automated software evaluation systems," In Proceedings of the International Conference on Reliable Software Table of Contents, pp. 382-394, 1975. [6] K. Krause, M. Goodwin and R. Smith, "Optimal Software Test Planning through Automated Network Analysis," IEEE Symposium on Computer Software Reliability, pp. 18-22, April 1973. [7] William E. Howden, "Methodology for the generation of program test data," IEEE Transactions on Computers, vol. 100, pp. 554-560, 1975. [8] James C. King, "Symbolic execution and program testing," Communications of the ACM, vol. 19, pp. 385-394, 1976. [9] Patrice Godefroid, Nils Klarlund and Koushik Sen, "DART: Directed automated random testing," In PLDI '05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 213-223, 2005. [10] Eric Larson and Todd Austin, "High coverage detection of input-related security faults," In Proceedings of the 12th USENIX Security Symposium (Security '03), August 2003. [11] Christoph Csallner and Yannis Smaragdakis, "Check'n'crash: Combining static checking and testing," In Proceedings of the 27th International Conference on Software Engineering, pp. 422-431, 2005. [12] Willem Visser, Corina S. P□s□reanu and Sarfraz Khurshid, "Test input generation with java PathFinder," In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 97-107, 2004. [13] Tao Xie, Darko Marinov, Wolfram Schulte and David Notkin, "Symstra: A framework for generating object-oriented unit tests using symbolic execution," In the Tools and Algorithms for the Construction and Analysis of Systems, pp. 365-381, 2005. [14] Neelam Gupta, Aditya P. Mathur and Mary Lou Soffa, "Generating test data for branch coverage," in Proceedings of the International Conference on Automated Software Engineering, pp. 219, 2000. [15] Bogdan Korel, "A dynamic approach of test data generation," IEEE Conference on Software Maintenance, pp. 311--317, November 1990. [16] Bogdan Korel, "Automated software test data generation," IEEE Transactions of Software Engineering, vol. 16, pp. 870-879, 1990. [17] Nicholas Nethercote and Julian Seward, "Valgrind: A framework for heavyweight dynamic binary instrumentation," In Proceedings of the 2007 PLDI Conference, pp. 89-100, 2007. [18] Reed Hastings and Bob Joyce, "Purify: Fast detection of memory leaks and access errors," In Proceedings of the Winter USENIX Conference, http://www.rational.com/supprot/techpapers/fast_detection/, 1992. [19] Patrice Godefroid, Michael Y. Levin and David A. Molnar, "Automated whitebox fuzz testing," In Proceedings of the Network and Distributed System Security Symposium, http://research.microsoft. com/users/pg/public_psfiles/ndss2008.pdf, 2008. [20] Yang-Chieh Fan, "Resolving Constraints from COTS/Binary Components for Concolic Random Testing," 2007. [21] Peter Boonstoppel, Cristian Cadar and Dawson Engler, "RWset: Attacking path explosion in constraint-based test generation," Lecture Notes in Computer Science, vol. 4963, pp. 351, 2008.
|