coverage criterion generator 
debugging done
run through example test case
...