SaiDeep Tetali

Publication Activity (10 Years)

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

Publications

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
Proofs from Tests. IEEE Trans. Software Eng. 36 (4) (2010)
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali
Compositional may-must program analysis: unleashing the power of alternation. POPL (2010)
Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS (2009)