Automatic test case generation for UML activity diagrams
Software unit test coverage and adequacy