FRINK Linked Data Fragments server

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

• W2742140951 endingPage "471" @default.
• W2742140951 startingPage "445" @default.
• W2742140951 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 that, 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. We also show how our tool can be used in an educational context to improve self-guided learning and accelerate assessment. We apply our algorithm to a large selection of actual student coursework submissions, providing precise localisation within a sub-second response time. We show this using small test suites, already provided in the coursework management system, and on expanded test suites, demonstrating the scalability of our approach. We also show compliance with test suites does not reliably grade a class of “almost-correct” submissions, which our tool highlights, as being close to the correct answer. Finally, we show an extension to our tool that extends our fast localisation results to a selection of student submissions that contain two faults." @default.
• W2742140951 created "2017-08-08" @default.
• W2742140951 creator A5027552068 @default.
• W2742140951 creator A5034043551 @default.
• W2742140951 creator A5082741874 @default.
• W2742140951 date "2017-07-27" @default.
• W2742140951 modified "2023-09-23" @default.
• W2742140951 title "Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs" @default.
• W2742140951 cites W1488494778 @default.
• W2742140951 cites W1511405608 @default.
• W2742140951 cites W1511845115 @default.
• W2742140951 cites W1544758358 @default.
• W2742140951 cites W1628309674 @default.
• W2742140951 cites W1756737036 @default.
• W2742140951 cites W1963857199 @default.
• W2742140951 cites W1970209023 @default.
• W2742140951 cites W1971137495 @default.
• W2742140951 cites W1971973232 @default.
• W2742140951 cites W1976546103 @default.
• W2742140951 cites W1985900990 @default.
• W2742140951 cites W1988180953 @default.
• W2742140951 cites W1991140109 @default.
• W2742140951 cites W1993199499 @default.
• W2742140951 cites W2010833880 @default.
• W2742140951 cites W2011367000 @default.
• W2742140951 cites W2012283428 @default.
• W2742140951 cites W2012312630 @default.
• W2742140951 cites W2012380206 @default.
• W2742140951 cites W2013229838 @default.
• W2742140951 cites W2016332286 @default.
• W2742140951 cites W2020242312 @default.
• W2742140951 cites W2033086912 @default.
• W2742140951 cites W2033903049 @default.
• W2742140951 cites W2036196659 @default.
• W2742140951 cites W2036265926 @default.
• W2742140951 cites W2037084799 @default.
• W2742140951 cites W2037969161 @default.
• W2742140951 cites W2041907065 @default.
• W2742140951 cites W2050390685 @default.
• W2742140951 cites W2053895855 @default.
• W2742140951 cites W2055636259 @default.
• W2742140951 cites W2065276745 @default.
• W2742140951 cites W2067436653 @default.
• W2742140951 cites W2070629635 @default.
• W2742140951 cites W2075992491 @default.
• W2742140951 cites W2080265580 @default.
• W2742140951 cites W2092239677 @default.
• W2742140951 cites W2101819268 @default.
• W2742140951 cites W2104916970 @default.
• W2742140951 cites W2108309071 @default.
• W2742140951 cites W2121204404 @default.
• W2742140951 cites W212452321 @default.
• W2742140951 cites W2137084326 @default.
• W2742140951 cites W2144386448 @default.
• W2742140951 cites W2164778826 @default.
• W2742140951 cites W2169212615 @default.
• W2742140951 cites W2296178404 @default.
• W2742140951 cites W2343875716 @default.
• W2742140951 cites W2465269457 @default.
• W2742140951 cites W2949558051 @default.
• W2742140951 cites W4229826799 @default.
• W2742140951 cites W4232512250 @default.
• W2742140951 cites W4236200536 @default.
• W2742140951 cites W4240558819 @default.
• W2742140951 cites W4241947695 @default.
• W2742140951 cites W4244452926 @default.
• W2742140951 cites W4248011511 @default.
• W2742140951 cites W4251940725 @default.
• W2742140951 cites W99175238 @default.
• W2742140951 doi "https://doi.org/10.1007/s10270-017-0612-y" @default.
• W2742140951 hasPublicationYear "2017" @default.
• W2742140951 type Work @default.
• W2742140951 sameAs 2742140951 @default.
• W2742140951 citedByCount "3" @default.
• W2742140951 countsByYear W27421409512018 @default.
• W2742140951 countsByYear W27421409512021 @default.
• W2742140951 countsByYear W27421409512023 @default.
• W2742140951 crossrefType "journal-article" @default.
• W2742140951 hasAuthorship W2742140951A5027552068 @default.
• W2742140951 hasAuthorship W2742140951A5034043551 @default.
• W2742140951 hasAuthorship W2742140951A5082741874 @default.
• W2742140951 hasBestOaLocation W27421409512 @default.
• W2742140951 hasConcept C111919701 @default.
• W2742140951 hasConcept C119857082 @default.
• W2742140951 hasConcept C127313418 @default.
• W2742140951 hasConcept C128942645 @default.
• W2742140951 hasConcept C151552104 @default.
• W2742140951 hasConcept C151730666 @default.
• W2742140951 hasConcept C152877465 @default.
• W2742140951 hasConcept C165205528 @default.
• W2742140951 hasConcept C166957645 @default.
• W2742140951 hasConcept C175551986 @default.
• W2742140951 hasConcept C177264268 @default.
• W2742140951 hasConcept C199360897 @default.
• W2742140951 hasConcept C2777904410 @default.
• W2742140951 hasConcept C2779343474 @default.
• W2742140951 hasConcept C2779639559 @default.
• W2742140951 hasConcept C2781110425 @default.

• next