Saparya Krishnamoorthy

Statistics

Publications

Citations

H-Index

Active since

2010

Affiliations

Intel (United States)(Current)

Virginia Tech

Saparya Krishnamoorthy is an author at Intel (United States) specializing in symbolic execution engines, symbolic execution, and control-flow analysis.

Publications per year

2010–2011

Publications

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

Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan · 2010 · 34 citations

Computing, Computer Science, Algorithms +15

Strategies for scalable symbolic execution-driven test generation for programs

Saparya Krishnamoorthy, Michael S. Hsiao, Loganathan Lingappan · Science China Information Sciences · 2011 · 13 citations

Computing, Computer Engineering, Computer Science +10

1–2 of 2