CHOC’LATE: A Framework For Specification-Based Testing
In spite of its importance in software reliability, testing is labor intensive and expensive. It has been found that software testing without a good strategy may not be more effective than testing the system with random data.