Stateful testing: Finding more errors in code and contracts | IEEE Conference Publication | IEEE Xplore