SynergiSE uses two types of ranges to improve symbolic execution. Feasible ranges define only feasible paths while unexplored ranges define only unexplored paths.
Apr 9, 2019
This paper introduces SynergiSE, a novel synergistic approach to improving symbolic execution by tackling a key bottleneck to its wider adoption.
A synergistic approach to improving symbolic execution using test ...
www.semanticscholar.org › paper
Experimental results using a suite of Java programs show that SynergiSE presents a promising approach for improving symbolic execution, and an integration ...
This paper introduces SynergiSE, a novel two-fold integration approach. One, it integrates distributed analysis and constraint re-use to enhance symbolic ...
Experimental results using a suite of Java programs show that SynergiSE presents a promising approach for improving symbolic execution.
This paper introduces Synergise, a novel two-fold integration approach. One, it integrates distributed analysis and constraint re-use to enhance symbolic ...
Missing: improving | Show results with:improving
... ranges work by efficiently reusing test inputs from other test generation tools. ... A synergistic approach to improving symbolic execution using test ranges.
A synergistic approach to improving symbolic execution using test ranges. 2019 | JOURNAL DOI: 10.1007/S11334-019-00331-9.
People also ask
What is symbolic execution method?
What is a good type of problem to use symbolic execution for?
Feasible ranges start with a shallow exploration of the tree up to a small depth detecting infeasible branches as it goes and then splits the tree into subtrees ...
Experimental results using a suite of Java programs show that SynergiSE presents a promising approach for improving symbolic execution, and an integration ...