论文信息 - Special Issue for the Second Asia-Pacific Conference on Quality Software - 字舞流文

Special Issue for the Second Asia-Pacific Conference on Quality Software

Tsong Yueh Chen | T. H. Tse | Yuen-Tak Yu

[1] Jesse H. Poore. Introduction to the special issue on: model-based statistical testing of software intensive systems , 2000, Inf. Softw. Technol..

[2] Anthony Hall,et al. Seven myths of formal methods , 1990, IEEE Software.

[3] Jonathan P. Bowen,et al. Seven More Myths of Formal Methods , 1995, IEEE Softw..

[4] James A. Whittaker,et al. A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..