FRINK Linked Data Fragments server

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

• W2955012332 abstract "Control-CPS software fault localization (SFL, aka bug localization) is of critical importance as bugs may cause major failures, even injuries/deaths. To locate the bugs in control-CPSs, SFL tools often demand many labeled (correct/incorrect) source code execution traces as inputs. To label the correctness of these traces, we must judge the corresponding control-CPS physical trajectories' correctness. However, unlike discrete outputs, the boundaries between correct and incorrect physical trajectories are often vague. The mechanism (aka oracle) to judge the physical trajectories' correctness thus becomes a major challenge. So far, the ad hoc practice of ``human oracles'' is still widely used, whose qualities heavily depend on the human experts' expertise and availability. This paper proposes an oracle based on the well adopted autoregressive system identification (AR-SI). With proven success for controlling black-box physical systems, AR-SI is adapted by us to identify the buggy control-CPS as a black-box. We use this identification result as an oracle to judge the control-CPS's behaviors, and propose a methodology to prepare traces for control-CPS debugging. Comprehensive evaluations on classic control-CPSs with injected real-life and artificial bugs show that our proposed approach significantly outperforms the human oracle approach in SFL accuracy (recall) and latency, and in oracle false positive/negative rates. Our approach also helps discover a new real-life bug in a consumer-grade control-CPS." @default.
• W2955012332 created "2019-07-12" @default.
• W2955012332 creator A5028795031 @default.
• W2955012332 creator A5047932271 @default.
• W2955012332 creator A5048345090 @default.
• W2955012332 creator A5058665232 @default.
• W2955012332 creator A5075972332 @default.
• W2955012332 creator A5078830656 @default.
• W2955012332 date "2019-05-01" @default.
• W2955012332 modified "2023-10-14" @default.
• W2955012332 title "A System Identification Based Oracle for Control-CPS Software Fault Localization" @default.
• W2955012332 cites W11348788 @default.
• W2955012332 cites W1538884829 @default.
• W2955012332 cites W1601863754 @default.
• W2955012332 cites W1611084195 @default.
• W2955012332 cites W1957629191 @default.
• W2955012332 cites W1964014481 @default.
• W2955012332 cites W1971650562 @default.
• W2955012332 cites W1994321811 @default.
• W2955012332 cites W2005569040 @default.
• W2955012332 cites W2008550744 @default.
• W2955012332 cites W2010162373 @default.
• W2955012332 cites W2010311741 @default.
• W2955012332 cites W2014515160 @default.
• W2955012332 cites W2018017297 @default.
• W2955012332 cites W2023740829 @default.
• W2955012332 cites W2031411490 @default.
• W2955012332 cites W2034653530 @default.
• W2955012332 cites W2037291277 @default.
• W2955012332 cites W2041474397 @default.
• W2955012332 cites W2041713059 @default.
• W2955012332 cites W2045090661 @default.
• W2955012332 cites W2064929511 @default.
• W2955012332 cites W2084901307 @default.
• W2955012332 cites W2092742242 @default.
• W2955012332 cites W2097110854 @default.
• W2955012332 cites W2098800875 @default.
• W2955012332 cites W2099444174 @default.
• W2955012332 cites W2101819268 @default.
• W2955012332 cites W2110441383 @default.
• W2955012332 cites W2111654822 @default.
• W2955012332 cites W2130359903 @default.
• W2955012332 cites W2146178292 @default.
• W2955012332 cites W2150289375 @default.
• W2955012332 cites W2170108788 @default.
• W2955012332 cites W2170486381 @default.
• W2955012332 cites W2185114873 @default.
• W2955012332 cites W2229094708 @default.
• W2955012332 cites W2343875716 @default.
• W2955012332 cites W2487779201 @default.
• W2955012332 cites W2514806119 @default.
• W2955012332 cites W2530949013 @default.
• W2955012332 cites W2565025742 @default.
• W2955012332 cites W2582857473 @default.
• W2955012332 cites W2582926763 @default.
• W2955012332 cites W2605255410 @default.
• W2955012332 cites W2756993896 @default.
• W2955012332 cites W2763995315 @default.
• W2955012332 cites W2792451387 @default.
• W2955012332 cites W2794950739 @default.
• W2955012332 cites W2891240227 @default.
• W2955012332 cites W2963636762 @default.
• W2955012332 cites W3096276665 @default.
• W2955012332 cites W3098458918 @default.
• W2955012332 cites W3106729728 @default.
• W2955012332 cites W3140308147 @default.
• W2955012332 cites W3147785239 @default.
• W2955012332 cites W4229772528 @default.
• W2955012332 cites W4242700588 @default.
• W2955012332 cites W4299627282 @default.
• W2955012332 cites W4361785283 @default.
• W2955012332 cites W87504467 @default.
• W2955012332 cites W2767658051 @default.
• W2955012332 doi "https://doi.org/10.1109/icse.2019.00029" @default.
• W2955012332 hasPublicationYear "2019" @default.
• W2955012332 type Work @default.
• W2955012332 sameAs 2955012332 @default.
• W2955012332 citedByCount "12" @default.
• W2955012332 countsByYear W29550123322020 @default.
• W2955012332 countsByYear W29550123322021 @default.
• W2955012332 countsByYear W29550123322022 @default.
• W2955012332 countsByYear W29550123322023 @default.
• W2955012332 crossrefType "proceedings-article" @default.
• W2955012332 hasAuthorship W2955012332A5028795031 @default.
• W2955012332 hasAuthorship W2955012332A5047932271 @default.
• W2955012332 hasAuthorship W2955012332A5048345090 @default.
• W2955012332 hasAuthorship W2955012332A5058665232 @default.
• W2955012332 hasAuthorship W2955012332A5075972332 @default.
• W2955012332 hasAuthorship W2955012332A5078830656 @default.
• W2955012332 hasConcept C1009929 @default.
• W2955012332 hasConcept C115903868 @default.
• W2955012332 hasConcept C116834253 @default.
• W2955012332 hasConcept C149635348 @default.
• W2955012332 hasConcept C154945302 @default.
• W2955012332 hasConcept C168065819 @default.
• W2955012332 hasConcept C199360897 @default.
• W2955012332 hasConcept C2775924081 @default.
• W2955012332 hasConcept C2777904410 @default.
• W2955012332 hasConcept C38652104 @default.
• W2955012332 hasConcept C41008148 @default.

• next