An Algorithm for Efficient Assertions-Based Test Data Generation

Automated assertion-based test data generation has been shown to be a promising tool for generating test cases that reveal program faults. Because the number of assertions may be very large for complex programs, one of the main concerns to the applicability of assertion-based testing is the amount o... View More