Dataset Open Access

Understanding The Impact of Solver Choice in Model-Based Test Generation

Meng, Ying; Gay, Gregory


BibTeX Export

@dataset{meng_ying_2019_3484641,
  author       = {Meng, Ying and
                  Gay, Gregory},
  title        = {{Understanding The Impact of Solver Choice in 
                   Model-Based Test Generation}},
  month        = oct,
  year         = 2019,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3484641},
  url          = {https://doi.org/10.5281/zenodo.3484641}
}
56
920
views
downloads
All versions This version
Views 5656
Downloads 920920
Data volume 133.4 GB133.4 GB
Unique views 5252
Unique downloads 1313

Share

Cite as