Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs. - Saparya Krishnamoorthy; Michael S. Hsiao; Loganathan Lingappan (Asian Test Symposium, 2010)

An Efficient 2-Phase Strategy to Achieve High Branch Coverage. - Sarvesh Prabhu; Michael S. Hsiao; Saparya Krishnamoorthy; Loganathan Lingappan; Vijay Gangaram; Jim Grundy (Asian Test Symposium, 2011)

Strategies for scalable symbolic execution-driven test generation for programs. - Saparya Krishnamoorthy; Michael S. Hsiao; Loganathan Lingappan (Sci. China Inf. Sci., 2011)