Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN:354025109X
(美)J.克雷内克(J.Kraynak),(美)J.哈布拉肯(J.Habraken)著;希望图书创作室译1998 年出版443 页ISBN:7801441192
(美)John R.Levine,(美)Carol Baroudi著;薛菲等译1995 年出版345 页ISBN:750533106X