Saparya Krishnamoorthy

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan
Strategies for scalable symbolic execution-driven test generation for programs. Sci. China Inf. Sci. 54 (9) (2011)
Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy
An Efficient 2-Phase Strategy to Achieve High Branch Coverage. Asian Test Symposium (2011)
Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan
Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs. Asian Test Symposium (2010)