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...本数据集包含两类源代码：一类为采用Maude语言（Maude）编写、用于生成基于覆盖度的测试（coverage-based tests）的代码，另一类为采用Python语言（Python）编写、用于测试用例执行的代码。此外，该数据集还……