Explicit models, being formal and precise representations of a tester's perception of a program, are excellent shareable, reusable vehicles of communication between and among testers and other teams and of automation for many tasks that are normally tedious and labor-intensive.