dspot

There are 2 repositories under dspot topic.

  • STAMP-project/dspot

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

    Language:Java1142536428

  • STAMP-project/stamp-ide

    This repository contains the code of number of plugins for Eclipse that provides GUI clients for STAMP tools. It also contains an update site to install them.

    Language:Java29433