Compiler Based Test Case Generation