Automated test execution consists of translating the generated test cases into ... the counter-examples are used as test cases that either reveal a fault, ...
確定! 回上一頁