Published December 27, 2022 | Version 2.0
Software Open

Automated SC-MCC Test Case Generation using Bounded Model Checking

Creators

  • 1. National Institute of Technology Warangal India

Description

This artifact is prepared to regenerate the results for the paper titled "Automated SC-MCC Test Case Generation using Bounded Model
Checking". Also, this contains all the raw experimental results.

Files

README.txt

Files (7.5 GB)

Name Size Download all
md5:b51e358320302d1011e0e4b3968b1ff2
8.5 kB Preview Download
md5:cc411b54a8784b54eb1d8c9809b05fc7
7.5 GB Download
md5:566cb8e0cecd3971358874bcf0abec55
58.6 MB Preview Download