Nishant Bawa

Learn More
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techniques for visualizing interactions, specifying and verifying assertions, and checking conformance of the implementation with its design. Our work helps in making the debugging and(More)
Testing applications involves the creation of test sets, their execution, management and adequacy assessment. An extensible framework, called RiOT, has been developed to allow the implementation of tools for test coverage measurement, test execution management and fault-based testing of distributed Java applications. Test coverage is measured in terms of(More)
  • 1