If you're debating whether or not to buy your brand-new refrigerator from Costco, there are a few things you should consider ...

Abstract: Safety testing is a key method to ensure software quality. But the quality of the test depends on the level of the test engineers. The method of generating safety test cases based on state ...