摘要：both black-box and white-box testing have weaknesses. White-box Testing does not typically find faults relating to missing functionality (referred to 阅读全文

摘要：abstract: Research has produced many approaches to automatically locate, explain, and repair software bugs. But do these approaches relate to the way 阅读全文

摘要：abstract: testers use model-based testing to design abstract tests from models of the system's behavior. Testers instantiate the abstract tests into c 阅读全文