Test cases can be generated from implemented use cases only.