Analysis of Software Test Design Techniques by Mathematical Modelling | IEEE Conference Publication | IEEE Xplore