GitHub repository: ycaxgjd/dspot
Primary language: Java
Description: Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)