Department Head Computer Science
Professor of Computer Science
Joined department in 1987
Education:
BE (Hons), Electrical Engineering
Birla Institute of Technology and Science (1970)
MS, Electrical Engineering
Birla Institute of Technology and Science (1972)
PhD, Computer Science
Birla Institute of Technology and Science (1977)
Aditya Mathur conducts research in the areas of software testing, reliability, and formal approaches
for software process control. 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. He has proposed the "Saturation Effect" as a motivating device for quantitative test
assessment using an increasingly powerful suite of criteria. This device is often used by vendors to
enhance marketing of their test tools. Mathur, in collaboration with Raymond DeCarlo, has pioneered
research into the use of feedback control in software development.
Selected Publications
Scott Miller, Raymond DeCarlo, Joao Cangussu, and Aditya Mathur, "A control-theoretic approach to the
management of the software system test phase", Journal of Software and Systems, Volume 79,
No. 11, pp. 1486-1503 , November 2006.
Joao Cangussu, Raymond DeCarlo, and Aditya P. Mathur, "Using Sensitivity Analysis to validate a State
Variable Model of the Software Test Process", IEEE Transactions on Software Engineering,
Volume 29, No. 5, pp. 430-443, 2003.
Joao Cangussu, Raymond DeCarlo, and Aditya P. Mathur, "A Formal Model of the Software Test Process",
IEEE Transactions on Software Engineering, Volume 28, No. 8, pp. 782-796, August 2002.
Funding Administered by Computer Science
Aditya P. Mathur, Computational Models to Study Auditory Processing & Learning Disorders in
Children, National Science Foundation, 1/1/2008-12/31/2009.
Aditya P. Mathur, Locating & Testing Insecure Paths in Implementations of Cryptographic
Protocols, Army Research Lab, 8/15/2006-6/30/2008.
Last Updated: July 11, 2007 05:37pm
