Basil

Basil is an experienced soft engineer, that will test your code, your feet and shoelaces with his sharp teeth.

See Basil's papers on the Research page