Automated program repair relying on static analysis complements test-driven repair, since it
does not require failing tests to repair a bug, and it avoids test-overfitting by considering …

Science is facing a software reproducibility crisis. Software powers experimentation, and
fuels insights, yielding new scientific contributions. Yet, the research software is often difficult …