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