dspot. Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)