Published February 13, 2026
| Version v2
Software
Open
Selective Concolic Testing
Authors/Creators
Description
This is the artifact of paper "Selective Concolic Testing" from FM 2026.
Files
sct_v2.zip
Files
(1.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:d66c37af925ea3df1c95a39995a85f90
|
1.1 GB | Preview Download |