Dataset Open Access

Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction

Luo Sicheng


BibTeX Export

@dataset{luo_sicheng_2021_4722615,
  author       = {Luo Sicheng},
  title        = {{Dataset for SMTimer: Boosting Symbolic execution 
                   via Constrainting Solving Time Prediction}},
  month        = apr,
  year         = 2021,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4722615},
  url          = {https://doi.org/10.5281/zenodo.4722615}
}
60
57
views
downloads
All versions This version
Views 6060
Downloads 5757
Data volume 26.8 GB26.8 GB
Unique views 5858
Unique downloads 3333

Share

Cite as