Specification Based Testing of Inheritance: A Framework of a Tool. - G. Satya Reddy; Hrushikesha Mohanty (ICIT, 2007)

Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. - G. Satya Reddy; Yuzhang Feng; Yang Liu 003; Jin Song Dong; Jun Sun 001; Rajaraman Kanagasabai (SERVICES, 2013)