Testing commercial software is expensive and time consuming. Automated testing methods promise to save a great deal of time and money throughout the software industry. One approach that is well-suited for the reactive systems found in telephone switching systems is specification-based testing.
No takes yet. Share an insight, caveat, or question.
Jagadeesan et al. (1997) studied this question.