Research on the definition and model of software testing quality | IEEE Conference Publication | IEEE Xplore