dspot topic

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

STAMP-project