Implements testExecCase/1