Teralizer: Automating Property-Based Test Generation from Unit Tests

This research explores a valuable approach to automated test generation, potentially improving software quality and reducing testing effort. The semantic-based test generalization from unit tests to property-based tests is a promising area for improving software testing efficiency.