INSEAL

computer programs for use by computer software developers and testing and quality assurance engineers to examine, verify and certify tests conducted on other computer software programs