Research in the areas of software testing, reliability, formal approaches for software process control, and the management of smart spaces. (a) Mathur has been a crusader for the use of code coverage criteria in the estimation of software reliability or as an orthogonal metric to assess confidence in the reliability estimates.