Dataset Open Access

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

Luo Sicheng


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4722615", 
  "author": [
    {
      "family": "Luo Sicheng"
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2021, 
        4, 
        27
      ]
    ]
  }, 
  "abstract": "<p>SMT scripts of SMT-LIB language generated from symbolic execution tools</p>", 
  "title": "Dataset for SMTimer: Boosting Symbolic execution via Constrainting Solving Time Prediction", 
  "type": "dataset", 
  "id": "4722615"
}
59
57
views
downloads
All versions This version
Views 5959
Downloads 5757
Data volume 26.8 GB26.8 GB
Unique views 5757
Unique downloads 3333

Share

Cite as