Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/10/01
Vol. E86-D
No. 10 ;
pp. 2121-2129
Type of Manuscript:
Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: Testing Keyword: software reliability, high assurance systems, software verification and validation, Bayesian hypothesis testing, |