Metamorphic Testing and Testing with Special Values
暂无分享,去创建一个
Ying Liu | Tsong Yueh Chen | Antony Tang | Fei-Ching Kuo | Y. Liu | T. Chen | A. Tang | Fei-Ching Kuo
[1] Ali Mili. An Introduction to Formal Program Verification , 1985 .
[2] Tsong Yueh Chen,et al. Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing , 2002, ISSTA '02.
[3] Tsong Yueh Chen,et al. Fault-based testing without the need of oracles , 2003, Inf. Softw. Technol..
[4] SIDNEY L. HANTLER,et al. An Introduction to Proving the Correctness of Programs , 1976, CSUR.
[5] Elaine J. Weyuker,et al. On Testing Non-Testable Programs , 1982, Comput. J..
[6] Keith W. Miller,et al. Local exhaustive testing: a software reliability tool , 1992, ACM-SE 30.
[7] William E. Howden,et al. Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.