Published February 16, 2020
| Version v1.0.0
Software
Open
alebugariu/StringSolversTests: First release of the ICSE'20 artifact
Description
This repository provides the artifact for the paper: "Automatically Testing String Solvers", A. Bugariu and P. Müller, ICSE'20
Files
alebugariu/StringSolversTests-v1.0.0.zip
Files
(55.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:384e35bcceeb5c7eff3e235308980acd
|
55.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/alebugariu/StringSolversTests/tree/v1.0.0 (URL)