Improving automatic software repair with probabilistic symbolic execution

Tobias Rudolph
Automatic software repair techniques aim at repairing error-prone code automatically. In particular, test-based automatic software repair approaches use test cases to locate a bug and evaluate the automatically created repair code. However, this evaluation is only based on the successful or failing execution of the test cases but ignore the behavior of the software under the majority of of usage scenarios, which are not covered by the given test cases. Despite a variety of test-based...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.