THE DEVELOPMENT OF TESTING TECHNOLOGIES FOR PROGRAM VERIFICATION

• 程序正确性测试的相关技术进展