Application of REFINE Language Tools to software quality assurance | IEEE Conference Publication | IEEE Xplore