The YogiProject: Software Property Checking via Static Analysis and Testing. - Aditya V. Nori; Sriram K. Rajamani; SaiDeep Tetali; Aditya V. Thakur (TACAS, 2009)

Compositional may-must program analysis: unleashing the power of alternation. - Patrice Godefroid; Aditya V. Nori; Sriram K. Rajamani; SaiDeep Tetali (POPL, 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)