mahesh viswanathan
- Conformance testing of Boolean programs
with multiple faults, P. Prabhakar, M. Viswanathan.
FMOODS/FORTE, 2012.
- On the expressiveness and complexity of
randomization in finite state monitors, R. Chadha, A.P. Sistla,
M. Viswanathan. Journal of the ACM (JACM), 2009. Subsumes earlier
paper in IEEE Symposium on Logic in Computer Science (LICS), 2008.
- Conformance Testing in the Presence of
Multiple Faults, V. Kumar, M. Viswanathan. ACM-SIAM
Symposium on Discrete Algorithms (SODA), 2005.
- Testing and Spot-Checking of Data
Streams, J. Feigenbaum, S. Kannan, M. Strauss,
M. Viswanathan. Algorithmica 34(1), 2002. Subsumes earlier
paper in ACM-SIAM Symposium on Discrete Algorithms (SODA)
2000.
- Spot-Checkers, F. Ergun, S. Kannan,
S.R. Kumar, R. Rubinfeld, M. Viswanathan. Journal of Computer
and System Sciences. Subsumes earlier paper in ACM Symposium on
Theory of Computation (STOC), 1998.