SaiDeep Tetali

According to our database, SaiDeep Tetali authored at least 3 papers between 2009 and 2010.

Collaborative distances:

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

2010

Proofs from Tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur

IEEE Trans. Software Eng., 2010

Compositional may-must program analysis: unleashing the power of alternation.

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

The YogiProject: Software Property Checking via Static Analysis and Testing.

Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009