G. Satya Reddy

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Top Venues

Publications

G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai
Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. SERVICES (2013)
G. Satya Reddy, Hrushikesha Mohanty
Specification Based Testing of Inheritance: A Framework of a Tool. ICIT (2007)