What are the current test case design techniques in market