Published October 1, 2024 | Version v1
Computational notebook Open

CC-SolSym: Smart Contract Symbolic Analyzer for measuring Condition Coverage

Authors/Creators

  • 1. ROR icon National Institute of Technology Warangal

Description

This is the repo containg all the experimental artifacts / results and machines we used. 

Files

README.md

Files (25.1 GB)

Name Size Download all
md5:3d93d9851776d7f126c90f90eae112bb
14.6 GB Download
md5:2c100f9230d8f78a936ebdd9a48af58b
6.3 kB Preview Download
md5:dcc7df7ee3cb3d28f8cb521321670201
1.5 MB Preview Download
md5:63d583514e72e3c16601e9de8ef70340
4.4 MB Preview Download
md5:b87348643be47e45bdbb71df902b820f
10.5 GB Download

Additional details

Dates

Submitted
2024-10-01
Submitted the artifacts

References

  • Software Testing