File(s) not publicly available
CHOC'LATE: a framework for specification-based testing
journal contributionposted on 27.11.2018, 00:00 by Pak PoonPak Poon, S-F Tang, TH Tse, TY Chen
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. Obviously, the effectiveness of testing relies heavily on how well the test suite — the set of test cases actually used — is generated. This is because the comprehensiveness of the test suite will affect the scope of testing and, hence, the chance of revealing software faults.