FRINK Linked Data Fragments server

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

• W2137084326 endingPage "57" @default.
• W2137084326 startingPage "38" @default.
• W2137084326 abstract "Fault localisation, i.e. the identification of program locations that cause errors, takes significant effort and cost. We describe a fast model-based fault localisation algorithm which, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations where genuine program repairs exist. Our algorithm iterates over failing test cases and collects locations where an assignment change can repair exhibited faulty behaviour. Our main contribution is an improved search through the test suite, reducing the effort for the symbolic execution of the models and leading to speed-ups of more than two orders of magnitude over the previously published implementation by Griesmayer et al. We implemented our algorithm for C programs, using the KLEE symbolic execution engine, and demonstrate its effectiveness on the Siemens TCAS variants. Its performance is in line with recent alternative model-based fault localisation techniques, but narrows the location set further without rejecting any genuine repair locations where faults can be fixed by changing a single assignment." @default.
• W2137084326 created "2016-06-24" @default.
• W2137084326 creator A5027552068 @default.
• W2137084326 creator A5034043551 @default.
• W2137084326 creator A5082741874 @default.
• W2137084326 date "2015-01-01" @default.
• W2137084326 modified "2023-10-14" @default.
• W2137084326 title "Fast Model-Based Fault Localisation with Test Suites" @default.
• W2137084326 cites W1480909796 @default.
• W2137084326 cites W1488494778 @default.
• W2137084326 cites W1511405608 @default.
• W2137084326 cites W1511845115 @default.
• W2137084326 cites W1756737036 @default.
• W2137084326 cites W1971137495 @default.
• W2137084326 cites W1985900990 @default.
• W2137084326 cites W2010833880 @default.
• W2137084326 cites W2011367000 @default.
• W2137084326 cites W2013229838 @default.
• W2137084326 cites W2036196659 @default.
• W2137084326 cites W2036265926 @default.
• W2137084326 cites W2040900440 @default.
• W2137084326 cites W2070249305 @default.
• W2137084326 cites W2080265580 @default.
• W2137084326 cites W2092239677 @default.
• W2137084326 cites W2101819268 @default.
• W2137084326 cites W2108309071 @default.
• W2137084326 cites W2144386448 @default.
• W2137084326 cites W2164778826 @default.
• W2137084326 cites W2169212615 @default.
• W2137084326 cites W2296178404 @default.
• W2137084326 cites W2949558051 @default.
• W2137084326 cites W2999906277 @default.
• W2137084326 cites W4242415290 @default.
• W2137084326 cites W4244452926 @default.
• W2137084326 cites W4251940725 @default.
• W2137084326 doi "https://doi.org/10.1007/978-3-319-21215-9_3" @default.
• W2137084326 hasPublicationYear "2015" @default.
• W2137084326 type Work @default.
• W2137084326 sameAs 2137084326 @default.
• W2137084326 citedByCount "7" @default.
• W2137084326 countsByYear W21370843262015 @default.
• W2137084326 countsByYear W21370843262017 @default.
• W2137084326 countsByYear W21370843262019 @default.
• W2137084326 countsByYear W21370843262020 @default.
• W2137084326 countsByYear W21370843262021 @default.
• W2137084326 crossrefType "book-chapter" @default.
• W2137084326 hasAuthorship W2137084326A5027552068 @default.
• W2137084326 hasAuthorship W2137084326A5034043551 @default.
• W2137084326 hasAuthorship W2137084326A5082741874 @default.
• W2137084326 hasConcept C11413529 @default.
• W2137084326 hasConcept C116834253 @default.
• W2137084326 hasConcept C119599485 @default.
• W2137084326 hasConcept C119857082 @default.
• W2137084326 hasConcept C126953365 @default.
• W2137084326 hasConcept C127313418 @default.
• W2137084326 hasConcept C127413603 @default.
• W2137084326 hasConcept C128942645 @default.
• W2137084326 hasConcept C134146338 @default.
• W2137084326 hasConcept C134306372 @default.
• W2137084326 hasConcept C140479938 @default.
• W2137084326 hasConcept C151552104 @default.
• W2137084326 hasConcept C152877465 @default.
• W2137084326 hasConcept C165205528 @default.
• W2137084326 hasConcept C166957645 @default.
• W2137084326 hasConcept C167391956 @default.
• W2137084326 hasConcept C175551986 @default.
• W2137084326 hasConcept C177264268 @default.
• W2137084326 hasConcept C199360897 @default.
• W2137084326 hasConcept C2777904410 @default.
• W2137084326 hasConcept C2779639559 @default.
• W2137084326 hasConcept C33923547 @default.
• W2137084326 hasConcept C41008148 @default.
• W2137084326 hasConcept C59822182 @default.
• W2137084326 hasConcept C79581498 @default.
• W2137084326 hasConcept C86803240 @default.
• W2137084326 hasConcept C95457728 @default.
• W2137084326 hasConceptScore W2137084326C11413529 @default.
• W2137084326 hasConceptScore W2137084326C116834253 @default.
• W2137084326 hasConceptScore W2137084326C119599485 @default.
• W2137084326 hasConceptScore W2137084326C119857082 @default.
• W2137084326 hasConceptScore W2137084326C126953365 @default.
• W2137084326 hasConceptScore W2137084326C127313418 @default.
• W2137084326 hasConceptScore W2137084326C127413603 @default.
• W2137084326 hasConceptScore W2137084326C128942645 @default.
• W2137084326 hasConceptScore W2137084326C134146338 @default.
• W2137084326 hasConceptScore W2137084326C134306372 @default.
• W2137084326 hasConceptScore W2137084326C140479938 @default.
• W2137084326 hasConceptScore W2137084326C151552104 @default.
• W2137084326 hasConceptScore W2137084326C152877465 @default.
• W2137084326 hasConceptScore W2137084326C165205528 @default.
• W2137084326 hasConceptScore W2137084326C166957645 @default.
• W2137084326 hasConceptScore W2137084326C167391956 @default.
• W2137084326 hasConceptScore W2137084326C175551986 @default.
• W2137084326 hasConceptScore W2137084326C177264268 @default.
• W2137084326 hasConceptScore W2137084326C199360897 @default.
• W2137084326 hasConceptScore W2137084326C2777904410 @default.
• W2137084326 hasConceptScore W2137084326C2779639559 @default.
• W2137084326 hasConceptScore W2137084326C33923547 @default.

• next