%0 Journal Article
%T 程序测试与概率检查
%A 卢先捷？
%J 计算机科学
%D 1997
%X 本文在分析传统的程序结果检查方法的基础上，介绍了引进随机概率的自我检查／校正程序设计的及其特点。
%K 程序测试程序正确性程序检查容错软件工程
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2551961&flag=1