22. The media of claim 14 , wherein the software being operable to generate one or more use scenarios comprises the software being operable to generate one or more use scenarios that test every transition between the MSCs.
23. The media of claim 22 , wherein the software being operable to generate one or more use scenarios that test every transition between the MSCs comprises the software being operable to keep track of which transitions are actually visited during execution of the software.