Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300394701> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4300394701 abstract "In this paper we present a comparative study of path feasibility queries generated during path exploration based software engineering methods. Symbolic execution based methods are gaining importance in different aspects of software engineering e.g. proving properties about programs, test case generation, comparing different executions of programs. These methods use SMT solvers to check the satisfiability of path feasibility queries written as a formula in the supported theories. We study the performance of solving such path feasibility queries using SMT solvers for real world programs. Our path condition formulas are generated in a theory of quantifier free bit vectors with arrays (QF_ABV). We show that among the different SMT solvers, STP is better than Z3 by an order of magnitude for such kind of queries. As an application we design a new program analysis (Change Value Analysis) based on our study which exploits undefined behaviors in programs. We have implemented our analysis in LLVM and tested it with the benchmark of SIR programs. It reduces the time taken for solving path feasibility queries by 48%. The study can serve as guidance to practitioners using path feasibility queries to create scalable software engineering methods based on symbolic execution." @default.
- W4300394701 created "2022-10-03" @default.
- W4300394701 creator A5048346296 @default.
- W4300394701 date "2013-02-19" @default.
- W4300394701 modified "2023-09-27" @default.
- W4300394701 title "An Empirical Study of Path Feasibility Queries" @default.
- W4300394701 doi "https://doi.org/10.48550/arxiv.1302.4798" @default.
- W4300394701 hasPublicationYear "2013" @default.
- W4300394701 type Work @default.
- W4300394701 citedByCount "0" @default.
- W4300394701 crossrefType "posted-content" @default.
- W4300394701 hasAuthorship W4300394701A5048346296 @default.
- W4300394701 hasBestOaLocation W43003947011 @default.
- W4300394701 hasConcept C13280743 @default.
- W4300394701 hasConcept C164155591 @default.
- W4300394701 hasConcept C168773769 @default.
- W4300394701 hasConcept C185798385 @default.
- W4300394701 hasConcept C199360897 @default.
- W4300394701 hasConcept C205649164 @default.
- W4300394701 hasConcept C2777735758 @default.
- W4300394701 hasConcept C2777904410 @default.
- W4300394701 hasConcept C2779639559 @default.
- W4300394701 hasConcept C41008148 @default.
- W4300394701 hasConcept C48044578 @default.
- W4300394701 hasConcept C77088390 @default.
- W4300394701 hasConcept C80444323 @default.
- W4300394701 hasConcept C98183937 @default.
- W4300394701 hasConceptScore W4300394701C13280743 @default.
- W4300394701 hasConceptScore W4300394701C164155591 @default.
- W4300394701 hasConceptScore W4300394701C168773769 @default.
- W4300394701 hasConceptScore W4300394701C185798385 @default.
- W4300394701 hasConceptScore W4300394701C199360897 @default.
- W4300394701 hasConceptScore W4300394701C205649164 @default.
- W4300394701 hasConceptScore W4300394701C2777735758 @default.
- W4300394701 hasConceptScore W4300394701C2777904410 @default.
- W4300394701 hasConceptScore W4300394701C2779639559 @default.
- W4300394701 hasConceptScore W4300394701C41008148 @default.
- W4300394701 hasConceptScore W4300394701C48044578 @default.
- W4300394701 hasConceptScore W4300394701C77088390 @default.
- W4300394701 hasConceptScore W4300394701C80444323 @default.
- W4300394701 hasConceptScore W4300394701C98183937 @default.
- W4300394701 hasLocation W43003947011 @default.
- W4300394701 hasOpenAccess W4300394701 @default.
- W4300394701 hasPrimaryLocation W43003947011 @default.
- W4300394701 hasRelatedWork W1544167035 @default.
- W4300394701 hasRelatedWork W1936354298 @default.
- W4300394701 hasRelatedWork W2137908418 @default.
- W4300394701 hasRelatedWork W2401873228 @default.
- W4300394701 hasRelatedWork W2565061727 @default.
- W4300394701 hasRelatedWork W2568762190 @default.
- W4300394701 hasRelatedWork W2888546876 @default.
- W4300394701 hasRelatedWork W2899100898 @default.
- W4300394701 hasRelatedWork W2930007110 @default.
- W4300394701 hasRelatedWork W4255990314 @default.
- W4300394701 isParatext "false" @default.
- W4300394701 isRetracted "false" @default.
- W4300394701 workType "article" @default.