|
[1] D. Beyer, A. J. Chlipala and R. Majumdar, "Generating tests from counterexamples," in ICSE '04: Proceedings of the 26th International Conference on Software Engineering, 2004, pp. 326-335. [2] W. Visser, C. S. reanu and S. Khurshid, "Test input generation with java PathFinder," in ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, 2004, pp. 97-107. [3] W. Visser, C. S. reanu and R. nek, "Test input generation for java containers using state matching," in ISSTA '06: Proceedings of the 2006 International Symposium on Software Testing and Analysis, 2006, pp. 37-48. [4] Tao Xie, Darko Marinov, Wolfram Schulte and David Notkin ER -, Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution. 2005, pp. 365-381. [5] P. Godefroid, N. Klarlund and K. Sen, "DART: Directed automated random testing," in PLDI '05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2005, pp. 213-223. [6] K. Sen, D. Marinov and G. 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, 2005, pp. 263-272. [7] C. Cadar and D. E. E. -, Execution Generated Test Cases: How to make Systems Code Crash itself. 2005, pp. 2-23. [8] C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill and D. R. Engler, "EXE: Automatically generating inputs of death," in CCS '06: Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006, pp. 322-335. [9] C. Csallner and Y. Smaragdakis, "Check 'n' crash: Combining static checking and testing," in ICSE '05: Proceedings of the 27th International Conference on Software Engineering, 2005, pp. 422-431. [10] C. Csallner and Y. Smaragdakis, "Check 'n' crash: Combining static checking and testing," in ICSE '05: Proceedings of the 27th International Conference on Software Engineering, 2005, pp. 422-431. [11] P. Godefroid, "Compositional dynamic test generation," in POPL '07: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007, pp. 47-54. [12] R. Majumdar and K. Sen, "LATEST : Lazy dynamic test input generation," EECS Department, University of California, Berkeley, Mar, 2007. [13] Huey-Der Chu, John E. Dobson and I-Chiang Liu ER -, "FAST: a framework for automating statistics-based testing," Software Quality Journal, vol. V6, pp. 13-36, 03/01/. 1997. [14] Saswat Anand, Corina S. P□□s□□reanu and Willem Visser ER -, Symbolic Execution with Abstract Subsumption Checking. 2006, pp. 163-181.
|