Motivation for Automatic Test Sequence Generation
1.It takes 4 man-years for writing a test suite for an ISDN protocol. Worse enough, they are not confident in how many faults the test suite can cover.
2.Man can only handle cases with a limited size.