Tests from UML
		Tests are sequenced to “cover” the transitions