Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/10/01 Vol. E86-DNo. 10 ;
pp. 2114-2120 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks) Category: Testing Keyword: software testing, high assurance system, automated testing, statistical testing, code coverage,