How can I develop an algorithm to perform automated test case generation using Bogdan Korel method? I've tried my best but I can not proceed.