论文信息 - An Automated Oracle for Verifying - 字舞流文

An Automated Oracle for Verifying

Juichi Takahashi | Juichi Takahashi

[1] Claude Caci,et al. Testing object-oriented systems , 2000, SOEN.

[2] Rex Black. Managing the Testing Process , 1999 .

[3] Cem Kaner,et al. Testing Computer Software , 1988 .

[4] Brian Marick,et al. When Should a Test Be Automated , 1998 .

[5] Glenford J. Myers,et al. Art of Software Testing , 1979 .

[6] Robert B. Grady,et al. Practical Software Metrics for Project Management and Process Improvement , 1992 .

[7] Robert M. Poston. Automating specification-based software testing , 1996 .

[8] Sean McDonald,et al. Software Test Automation , 1999 .

[9] William C. Hetzel,et al. The complete guide to software testing , 1984 .

[10] Alex Pentland,et al. Face Recognition for Smart Environments , 2000, Computer.

[11] Boris Beizer,et al. Software Testing Techniques , 1983 .

[12] John Steven,et al. jRapture: A Capture/Replay tool for observation-based testing , 2000, ISSTA '00.

[13] Bogdan Korel,et al. Automated regression test generation , 1998, ISSTA '98.

[14] James A. Whittaker,et al. What is software testing? And why is it so hard? , 2000 .

[15] Sharath Pankanti,et al. Biometrics: The Future of Identification - Guest Editors' Introduction , 2000, Computer.

[16] Michael L. Fredman,et al. The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..