Strategies for scalable symbolic execution-driven test generation for programs

MLA

Krishnamoorthy, Saparya, et al. “Strategies for Scalable Symbolic Execution-Driven Test Generation for Programs.” SCIENCE CHINA Information Sciences, vol. 54, no. 9, Sept. 2011, pp. 1797–812. EBSCOhost, https://doi.org/10.1007/s11432-011-4368-7.

APA

Krishnamoorthy, S., Hsiao, M., & Lingappan, L. (2011). Strategies for scalable symbolic execution-driven test generation for programs. SCIENCE CHINA Information Sciences, 54(9), 1797–1812. https://doi.org/10.1007/s11432-011-4368-7

Chicago

Krishnamoorthy, Saparya, Michael Hsiao, and Loganathan Lingappan. 2011. “Strategies for Scalable Symbolic Execution-Driven Test Generation for Programs.” SCIENCE CHINA Information Sciences 54 (9): 1797–1812. doi:10.1007/s11432-011-4368-7.