Dataset - B2FIND

Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study ...

The data set contains source code written in the Maude language for generation of coverage-based tests, and source code written in python, for test case execution. Also, it...

You can also access this registry using the API (see API Docs).