Actions
  • shareshare
  • link
  • cite
  • add
add
auto_awesome_motion View all 4 versions
Research data . Dataset . 2021

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

Luo Sicheng;
Open Access
Published: 27 Apr 2021
Publisher: Zenodo
Abstract

SMT scripts of SMT-LIB language generated from symbolic execution tools

Subjects by Vocabulary

ACM Computing Classification System: ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ComputerSystemsOrganization_PROCESSORARCHITECTURES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES

moresidebar