research data . Dataset . 2021

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

Sicheng, Luo;
Open Access
  • Published: 27 Apr 2021
  • Publisher: Zenodo
Abstract
SMT scripts of SMT-LIB language generated from symbolic execution tools
Subjects
ACM Computing Classification System: ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputerSystemsOrganization_PROCESSORARCHITECTURESTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Download fromView all 2 versions
Open Access
Zenodo
Dataset . 2021
Provider: Datacite
Open Access
Zenodo
Dataset . 2021
Provider: Datacite
Any information missing or wrong?Report an Issue