Extending T 2 with Prime Path Coverage Exploration Maaike Gerritsen