Rhapsody's automatic test generator now handles test-case generation for Unified Modeling Language (UML) development. Extensive, documented testing is key for safety-critical applications like DO-178B ...