FRINK Linked Data Fragments server

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

• W2242942470 abstract "In formula-based fault localization methods, a program under test, which is unrolled to a certain bound, is encoded in a trace formula (TF). The efficiency and precision of the fault localization algorithm depend highly on the way this formula is encoded. The full flow-sensitive TF can cover all potential root causes, but is usually large and scalability problems remain. We propose a new encoding, the hardened flow-sensitive trace formula (HFTF), which reduces the complexity of the formula but does not lose essential control flow graph (CFG) information required for localizing faults. The HFTF is constructed using a concolic execution method that generates both failing and successful executions and uses the coverage information from these executions to simplify the trace formula." @default.
• W2242942470 created "2016-06-24" @default.
• W2242942470 creator A5019563863 @default.
• W2242942470 creator A5034738514 @default.
• W2242942470 creator A5091637022 @default.
• W2242942470 date "2015-12-01" @default.
• W2242942470 modified "2023-09-24" @default.
• W2242942470 title "Hardened Flow-Sensitive Trace Formula for Fault Localization" @default.
• W2242942470 cites W1574376759 @default.
• W2242942470 cites W1581576329 @default.
• W2242942470 cites W1595276356 @default.
• W2242942470 cites W1789556332 @default.
• W2242942470 cites W1822192794 @default.
• W2242942470 cites W1843474218 @default.
• W2242942470 cites W1894498325 @default.
• W2242942470 cites W2001859357 @default.
• W2242942470 cites W2002758617 @default.
• W2242942470 cites W2009080961 @default.
• W2242942470 cites W2009489720 @default.
• W2242942470 cites W2013560272 @default.
• W2242942470 cites W2016094683 @default.
• W2242942470 cites W2020169768 @default.
• W2242942470 cites W2040900440 @default.
• W2242942470 cites W2051897343 @default.
• W2242942470 cites W2065236359 @default.
• W2242942470 cites W2076090418 @default.
• W2242942470 cites W2096449544 @default.
• W2242942470 cites W2101819268 @default.
• W2242942470 cites W2108309071 @default.
• W2242942470 cites W2116682334 @default.
• W2242942470 cites W2129538349 @default.
• W2242942470 cites W2134691366 @default.
• W2242942470 cites W2141109493 @default.
• W2242942470 cites W2153185479 @default.
• W2242942470 cites W2165026393 @default.
• W2242942470 cites W2251207443 @default.
• W2242942470 cites W9697679 @default.
• W2242942470 doi "https://doi.org/10.1109/iceccs.2015.16" @default.
• W2242942470 hasPublicationYear "2015" @default.
• W2242942470 type Work @default.
• W2242942470 sameAs 2242942470 @default.
• W2242942470 citedByCount "3" @default.
• W2242942470 countsByYear W22429424702016 @default.
• W2242942470 countsByYear W22429424702020 @default.
• W2242942470 crossrefType "proceedings-article" @default.
• W2242942470 hasAuthorship W2242942470A5019563863 @default.
• W2242942470 hasAuthorship W2242942470A5034738514 @default.
• W2242942470 hasAuthorship W2242942470A5091637022 @default.
• W2242942470 hasConcept C11219265 @default.
• W2242942470 hasConcept C11413529 @default.
• W2242942470 hasConcept C125411270 @default.
• W2242942470 hasConcept C138885662 @default.
• W2242942470 hasConcept C152745839 @default.
• W2242942470 hasConcept C154945302 @default.
• W2242942470 hasConcept C160191386 @default.
• W2242942470 hasConcept C172707124 @default.
• W2242942470 hasConcept C173608175 @default.
• W2242942470 hasConcept C199360897 @default.
• W2242942470 hasConcept C2524010 @default.
• W2242942470 hasConcept C27458966 @default.
• W2242942470 hasConcept C2777904410 @default.
• W2242942470 hasConcept C2779639559 @default.
• W2242942470 hasConcept C33923547 @default.
• W2242942470 hasConcept C38349280 @default.
• W2242942470 hasConcept C41008148 @default.
• W2242942470 hasConcept C41895202 @default.
• W2242942470 hasConcept C48044578 @default.
• W2242942470 hasConcept C75291252 @default.
• W2242942470 hasConcept C77088390 @default.
• W2242942470 hasConcept C80444323 @default.
• W2242942470 hasConceptScore W2242942470C11219265 @default.
• W2242942470 hasConceptScore W2242942470C11413529 @default.
• W2242942470 hasConceptScore W2242942470C125411270 @default.
• W2242942470 hasConceptScore W2242942470C138885662 @default.
• W2242942470 hasConceptScore W2242942470C152745839 @default.
• W2242942470 hasConceptScore W2242942470C154945302 @default.
• W2242942470 hasConceptScore W2242942470C160191386 @default.
• W2242942470 hasConceptScore W2242942470C172707124 @default.
• W2242942470 hasConceptScore W2242942470C173608175 @default.
• W2242942470 hasConceptScore W2242942470C199360897 @default.
• W2242942470 hasConceptScore W2242942470C2524010 @default.
• W2242942470 hasConceptScore W2242942470C27458966 @default.
• W2242942470 hasConceptScore W2242942470C2777904410 @default.
• W2242942470 hasConceptScore W2242942470C2779639559 @default.
• W2242942470 hasConceptScore W2242942470C33923547 @default.
• W2242942470 hasConceptScore W2242942470C38349280 @default.
• W2242942470 hasConceptScore W2242942470C41008148 @default.
• W2242942470 hasConceptScore W2242942470C41895202 @default.
• W2242942470 hasConceptScore W2242942470C48044578 @default.
• W2242942470 hasConceptScore W2242942470C75291252 @default.
• W2242942470 hasConceptScore W2242942470C77088390 @default.
• W2242942470 hasConceptScore W2242942470C80444323 @default.
• W2242942470 hasLocation W22429424701 @default.
• W2242942470 hasOpenAccess W2242942470 @default.
• W2242942470 hasPrimaryLocation W22429424701 @default.
• W2242942470 hasRelatedWork W1498413874 @default.
• W2242942470 hasRelatedWork W1511845115 @default.
• W2242942470 hasRelatedWork W1843392114 @default.
• W2242942470 hasRelatedWork W1918773238 @default.
• W2242942470 hasRelatedWork W1986877950 @default.

• next