testRigor - behavior-based test generation