FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2244080217> ?p ?o ?g. }

• W2244080217 abstract "Characterizing software changes is fundamental for software maintenance. However existing techniques are imprecise leading to unnecessary maintenance efforts. We introduce a novel approach that computes a precise numeric characterization of program changes, which quantifies the likelihood of reaching target program events (e.g., assert violations or successful termination) and how that evolves with each program update, together with the percentage of inputs impacted by the change. This precise characterization leads to a natural ranking of different program changes based on their probability of execution and their impact on target events. The approach is based on model counting over the constraints collected with a symbolic execution of the program, and exploits the similarity between program versions to reduce cost and improve the quality of analysis results. We implemented our approach in the Symbolic PathFinder tool and illustrate it on several Java case studies, including the evaluation of different program repairs, mutants used in testing, or incremental analysis after a change." @default.
• W2244080217 created "2016-06-24" @default.
• W2244080217 creator A5039642499 @default.
• W2244080217 creator A5053134485 @default.
• W2244080217 creator A5083739081 @default.
• W2244080217 date "2015-11-01" @default.
• W2244080217 modified "2023-09-26" @default.
• W2244080217 title "Quantification of Software Changes through Probabilistic Symbolic Execution (N)" @default.
• W2244080217 cites W137740833 @default.
• W2244080217 cites W1750827721 @default.
• W2244080217 cites W1989703131 @default.
• W2244080217 cites W2006860739 @default.
• W2244080217 cites W2012477604 @default.
• W2244080217 cites W2033084216 @default.
• W2244080217 cites W2046569047 @default.
• W2244080217 cites W2060573639 @default.
• W2244080217 cites W2066353350 @default.
• W2244080217 cites W2074888021 @default.
• W2244080217 cites W2078988604 @default.
• W2244080217 cites W2101512909 @default.
• W2244080217 cites W2108629523 @default.
• W2244080217 cites W2162120832 @default.
• W2244080217 cites W2168798915 @default.
• W2244080217 cites W2295266283 @default.
• W2244080217 cites W2337480916 @default.
• W2244080217 cites W4243718993 @default.
• W2244080217 cites W4244452926 @default.
• W2244080217 cites W4252889632 @default.
• W2244080217 cites W4255298020 @default.
• W2244080217 doi "https://doi.org/10.1109/ase.2015.78" @default.
• W2244080217 hasPublicationYear "2015" @default.
• W2244080217 type Work @default.
• W2244080217 sameAs 2244080217 @default.
• W2244080217 citedByCount "12" @default.
• W2244080217 countsByYear W22440802172016 @default.
• W2244080217 countsByYear W22440802172017 @default.
• W2244080217 countsByYear W22440802172018 @default.
• W2244080217 countsByYear W22440802172019 @default.
• W2244080217 countsByYear W22440802172021 @default.
• W2244080217 countsByYear W22440802172022 @default.
• W2244080217 crossrefType "proceedings-article" @default.
• W2244080217 hasAuthorship W2244080217A5039642499 @default.
• W2244080217 hasAuthorship W2244080217A5053134485 @default.
• W2244080217 hasAuthorship W2244080217A5083739081 @default.
• W2244080217 hasConcept C101317890 @default.
• W2244080217 hasConcept C11219265 @default.
• W2244080217 hasConcept C117447612 @default.
• W2244080217 hasConcept C119857082 @default.
• W2244080217 hasConcept C140006998 @default.
• W2244080217 hasConcept C149091818 @default.
• W2244080217 hasConcept C154945302 @default.
• W2244080217 hasConcept C164691408 @default.
• W2244080217 hasConcept C165696696 @default.
• W2244080217 hasConcept C189430467 @default.
• W2244080217 hasConcept C199360897 @default.
• W2244080217 hasConcept C2777904410 @default.
• W2244080217 hasConcept C2779639559 @default.
• W2244080217 hasConcept C38652104 @default.
• W2244080217 hasConcept C41008148 @default.
• W2244080217 hasConcept C49937458 @default.
• W2244080217 hasConcept C529173508 @default.
• W2244080217 hasConcept C548217200 @default.
• W2244080217 hasConcept C97686452 @default.
• W2244080217 hasConcept C98183937 @default.
• W2244080217 hasConceptScore W2244080217C101317890 @default.
• W2244080217 hasConceptScore W2244080217C11219265 @default.
• W2244080217 hasConceptScore W2244080217C117447612 @default.
• W2244080217 hasConceptScore W2244080217C119857082 @default.
• W2244080217 hasConceptScore W2244080217C140006998 @default.
• W2244080217 hasConceptScore W2244080217C149091818 @default.
• W2244080217 hasConceptScore W2244080217C154945302 @default.
• W2244080217 hasConceptScore W2244080217C164691408 @default.
• W2244080217 hasConceptScore W2244080217C165696696 @default.
• W2244080217 hasConceptScore W2244080217C189430467 @default.
• W2244080217 hasConceptScore W2244080217C199360897 @default.
• W2244080217 hasConceptScore W2244080217C2777904410 @default.
• W2244080217 hasConceptScore W2244080217C2779639559 @default.
• W2244080217 hasConceptScore W2244080217C38652104 @default.
• W2244080217 hasConceptScore W2244080217C41008148 @default.
• W2244080217 hasConceptScore W2244080217C49937458 @default.
• W2244080217 hasConceptScore W2244080217C529173508 @default.
• W2244080217 hasConceptScore W2244080217C548217200 @default.
• W2244080217 hasConceptScore W2244080217C97686452 @default.
• W2244080217 hasConceptScore W2244080217C98183937 @default.
• W2244080217 hasLocation W22440802171 @default.
• W2244080217 hasOpenAccess W2244080217 @default.
• W2244080217 hasPrimaryLocation W22440802171 @default.
• W2244080217 hasRelatedWork W196342399 @default.
• W2244080217 hasRelatedWork W1994915990 @default.
• W2244080217 hasRelatedWork W2244080217 @default.
• W2244080217 hasRelatedWork W2885626945 @default.
• W2244080217 hasRelatedWork W2951686222 @default.
• W2244080217 hasRelatedWork W2972209643 @default.
• W2244080217 hasRelatedWork W3117263187 @default.
• W2244080217 hasRelatedWork W4245197793 @default.
• W2244080217 hasRelatedWork W4295529944 @default.
• W2244080217 hasRelatedWork W2098675293 @default.
• W2244080217 isParatext "false" @default.
• W2244080217 isRetracted "false" @default.
• W2244080217 magId "2244080217" @default.

• next