Saparya Krishnamoorthy

According to our database, Saparya Krishnamoorthy authored at least 3 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Strategies for scalable symbolic execution-driven test generation for programs.

Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan

Sci. China Inf. Sci., 2011

An Efficient 2-Phase Strategy to Achieve High Branch Coverage.

Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy

Proceedings of the 20th IEEE Asian Test Symposium, 2011

2010

Tackling the Path Explosion Problem in Symbolic Execution-Driven Test Generation for Programs.

Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan

Proceedings of the 19th IEEE Asian Test Symposium, 2010