Answers are grounded in this paper and cite their sources.
The continued development of efficient automated decision procedures has spurred the resurgence of research on symbolic execution over the past decade. Researchers have applied symbolic execution to a wide range of software analysis problems including: checking programs against contract specifications, inferring bounds on worst-case execution performance, and generating path-adequate test suites for widely used library code.
No takes yet. Share an insight, caveat, or question.
Geldenhuys et al. (2012) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: