Matches in SemOpenAlex for { <https://semopenalex.org/work/W3131152096> ?p ?o ?g. }
- W3131152096 abstract "Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are designed for imperative programs (e.g., C and Java) and rely on analyzing correct and incorrect executions of the program to identify suspicious statements. In this work, we introduce a fault localization approach for models written in a declarative language, where the models are not executed, but rather converted into a logical formula and solved using backend constraint solvers. We present FLACK, a tool that takes as input an Alloy model consisting of some violated assertion and returns a ranked list of suspicious expressions contributing to the assertion violation. The key idea is to analyze the differences between counterexamples, i.e., instances of the model that do not satisfy the assertion, and instances that do satisfy the assertion to find suspicious expressions in the input model. The experimental results show that FLACK is efficient (can handle complex, real-world Alloy models with thousand lines of code within 5 seconds), accurate (can consistently rank buggy expressions in the top 1.9% of the suspicious list), and useful (can often narrow down the error to the exact location within the suspicious expressions)." @default.
- W3131152096 created "2021-03-01" @default.
- W3131152096 creator A5016401353 @default.
- W3131152096 creator A5026055653 @default.
- W3131152096 creator A5030064922 @default.
- W3131152096 creator A5035707440 @default.
- W3131152096 creator A5056122432 @default.
- W3131152096 creator A5069411288 @default.
- W3131152096 creator A5074298887 @default.
- W3131152096 date "2021-02-19" @default.
- W3131152096 modified "2023-10-07" @default.
- W3131152096 title "FLACK: Counterexample-Guided Fault Localization for Alloy Models" @default.
- W3131152096 cites W1519503479 @default.
- W3131152096 cites W1531103278 @default.
- W3131152096 cites W1767990287 @default.
- W3131152096 cites W1843474218 @default.
- W3131152096 cites W1950030762 @default.
- W3131152096 cites W1971373119 @default.
- W3131152096 cites W1984248430 @default.
- W3131152096 cites W1988537734 @default.
- W3131152096 cites W1990785546 @default.
- W3131152096 cites W2005129294 @default.
- W3131152096 cites W2010833880 @default.
- W3131152096 cites W2040900440 @default.
- W3131152096 cites W2047836084 @default.
- W3131152096 cites W2052581380 @default.
- W3131152096 cites W2052602498 @default.
- W3131152096 cites W2056872793 @default.
- W3131152096 cites W2060440626 @default.
- W3131152096 cites W2064678220 @default.
- W3131152096 cites W2083755826 @default.
- W3131152096 cites W2095064458 @default.
- W3131152096 cites W2096905893 @default.
- W3131152096 cites W2101819268 @default.
- W3131152096 cites W2116411029 @default.
- W3131152096 cites W2123659430 @default.
- W3131152096 cites W2137339691 @default.
- W3131152096 cites W2140061645 @default.
- W3131152096 cites W2145168181 @default.
- W3131152096 cites W2148329403 @default.
- W3131152096 cites W2153418968 @default.
- W3131152096 cites W2162045655 @default.
- W3131152096 cites W2162376048 @default.
- W3131152096 cites W2165663378 @default.
- W3131152096 cites W2170224888 @default.
- W3131152096 cites W2173307028 @default.
- W3131152096 cites W2261194965 @default.
- W3131152096 cites W2356780433 @default.
- W3131152096 cites W2402664197 @default.
- W3131152096 cites W2474759362 @default.
- W3131152096 cites W2598672795 @default.
- W3131152096 cites W2607140826 @default.
- W3131152096 cites W2617064411 @default.
- W3131152096 cites W2620081107 @default.
- W3131152096 cites W2741400146 @default.
- W3131152096 cites W2767371019 @default.
- W3131152096 cites W2795260929 @default.
- W3131152096 cites W2806592451 @default.
- W3131152096 cites W2809433722 @default.
- W3131152096 cites W2888688866 @default.
- W3131152096 cites W2898878396 @default.
- W3131152096 cites W2901407949 @default.
- W3131152096 cites W3042771014 @default.
- W3131152096 cites W3098776202 @default.
- W3131152096 cites W3162190912 @default.
- W3131152096 cites W3193268718 @default.
- W3131152096 cites W367605388 @default.
- W3131152096 cites W72463235 @default.
- W3131152096 cites W2146277254 @default.
- W3131152096 doi "https://doi.org/10.48550/arxiv.2102.10152" @default.
- W3131152096 hasPublicationYear "2021" @default.
- W3131152096 type Work @default.
- W3131152096 sameAs 3131152096 @default.
- W3131152096 citedByCount "0" @default.
- W3131152096 crossrefType "posted-content" @default.
- W3131152096 hasAuthorship W3131152096A5016401353 @default.
- W3131152096 hasAuthorship W3131152096A5026055653 @default.
- W3131152096 hasAuthorship W3131152096A5030064922 @default.
- W3131152096 hasAuthorship W3131152096A5035707440 @default.
- W3131152096 hasAuthorship W3131152096A5056122432 @default.
- W3131152096 hasAuthorship W3131152096A5069411288 @default.
- W3131152096 hasAuthorship W3131152096A5074298887 @default.
- W3131152096 hasBestOaLocation W31311520961 @default.
- W3131152096 hasConcept C11413529 @default.
- W3131152096 hasConcept C114614502 @default.
- W3131152096 hasConcept C118615104 @default.
- W3131152096 hasConcept C127313418 @default.
- W3131152096 hasConcept C162838799 @default.
- W3131152096 hasConcept C164226766 @default.
- W3131152096 hasConcept C165205528 @default.
- W3131152096 hasConcept C168065819 @default.
- W3131152096 hasConcept C175551986 @default.
- W3131152096 hasConcept C177264268 @default.
- W3131152096 hasConcept C199360897 @default.
- W3131152096 hasConcept C2524010 @default.
- W3131152096 hasConcept C26517878 @default.
- W3131152096 hasConcept C2776036281 @default.
- W3131152096 hasConcept C2776760102 @default.
- W3131152096 hasConcept C33923547 @default.
- W3131152096 hasConcept C38652104 @default.