Start implementing test case generation mechanism.