The Use of Mathematical Methods to Automate the Control of Skills in the Study of software Testing Algorithms | IEEE Conference Publication | IEEE Xplore