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, |