Executable Assertion Test Case