SELECT—a formal system for testing and debugging programs by symbolic execution ... Software Quality Assurance," in Program Test Methods (W. C. Hetzel, ed.) ...
確定! 回上一頁