Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099467102> ?p ?o ?g. }
- W2099467102 abstract "To ensure the reliability of complex software systems, runtime software monitoring is widely accepted to monitor and check system execution against formal properties specification at runtime. Runtime software monitoring can detect property violations, however it can not explain why a violation has occurred. Diagnosing runtime property violations is still a challenge issue. In this paper, a novel diagnosis method based on dependency rules is constructed to diagnose runtime property violations in complex software systems. A set of rules is formally defined to isolate software fault from hardware fault, then software faults is localized by combining trace slicing and dicing. The method is implemented in the runtime software monitoring system SRMS, and experimental results demonstrate that the method can effectively isolate and locate the related faults with property violations." @default.
- W2099467102 created "2016-06-24" @default.
- W2099467102 creator A5011785079 @default.
- W2099467102 creator A5015240127 @default.
- W2099467102 creator A5076972729 @default.
- W2099467102 creator A5091468980 @default.
- W2099467102 date "2011-06-01" @default.
- W2099467102 modified "2023-09-24" @default.
- W2099467102 title "DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules" @default.
- W2099467102 cites W1506588809 @default.
- W2099467102 cites W1511405608 @default.
- W2099467102 cites W1531055662 @default.
- W2099467102 cites W1536680331 @default.
- W2099467102 cites W1572075820 @default.
- W2099467102 cites W1814905144 @default.
- W2099467102 cites W1965934747 @default.
- W2099467102 cites W1967296740 @default.
- W2099467102 cites W1973304445 @default.
- W2099467102 cites W1973744828 @default.
- W2099467102 cites W2005062077 @default.
- W2099467102 cites W2066859698 @default.
- W2099467102 cites W2093916942 @default.
- W2099467102 cites W2098347737 @default.
- W2099467102 cites W2105691657 @default.
- W2099467102 cites W2109359483 @default.
- W2099467102 cites W2109681145 @default.
- W2099467102 cites W2121509904 @default.
- W2099467102 cites W2123659430 @default.
- W2099467102 cites W2136568800 @default.
- W2099467102 cites W2138916466 @default.
- W2099467102 cites W2141109493 @default.
- W2099467102 cites W2151674625 @default.
- W2099467102 cites W2155267411 @default.
- W2099467102 cites W2159958244 @default.
- W2099467102 cites W2162045655 @default.
- W2099467102 cites W2170485025 @default.
- W2099467102 cites W303139982 @default.
- W2099467102 doi "https://doi.org/10.1109/ssiri-c.2011.38" @default.
- W2099467102 hasPublicationYear "2011" @default.
- W2099467102 type Work @default.
- W2099467102 sameAs 2099467102 @default.
- W2099467102 citedByCount "0" @default.
- W2099467102 crossrefType "proceedings-article" @default.
- W2099467102 hasAuthorship W2099467102A5011785079 @default.
- W2099467102 hasAuthorship W2099467102A5015240127 @default.
- W2099467102 hasAuthorship W2099467102A5076972729 @default.
- W2099467102 hasAuthorship W2099467102A5091468980 @default.
- W2099467102 hasConcept C111472728 @default.
- W2099467102 hasConcept C111498074 @default.
- W2099467102 hasConcept C115903868 @default.
- W2099467102 hasConcept C120314980 @default.
- W2099467102 hasConcept C138885662 @default.
- W2099467102 hasConcept C149091818 @default.
- W2099467102 hasConcept C149635348 @default.
- W2099467102 hasConcept C177264268 @default.
- W2099467102 hasConcept C189950617 @default.
- W2099467102 hasConcept C19768560 @default.
- W2099467102 hasConcept C199360897 @default.
- W2099467102 hasConcept C202973057 @default.
- W2099467102 hasConcept C2777904410 @default.
- W2099467102 hasConcept C41008148 @default.
- W2099467102 hasConcept C41895202 @default.
- W2099467102 hasConcept C50712370 @default.
- W2099467102 hasConcept C75291252 @default.
- W2099467102 hasConcept C79403827 @default.
- W2099467102 hasConcept C91071405 @default.
- W2099467102 hasConceptScore W2099467102C111472728 @default.
- W2099467102 hasConceptScore W2099467102C111498074 @default.
- W2099467102 hasConceptScore W2099467102C115903868 @default.
- W2099467102 hasConceptScore W2099467102C120314980 @default.
- W2099467102 hasConceptScore W2099467102C138885662 @default.
- W2099467102 hasConceptScore W2099467102C149091818 @default.
- W2099467102 hasConceptScore W2099467102C149635348 @default.
- W2099467102 hasConceptScore W2099467102C177264268 @default.
- W2099467102 hasConceptScore W2099467102C189950617 @default.
- W2099467102 hasConceptScore W2099467102C19768560 @default.
- W2099467102 hasConceptScore W2099467102C199360897 @default.
- W2099467102 hasConceptScore W2099467102C202973057 @default.
- W2099467102 hasConceptScore W2099467102C2777904410 @default.
- W2099467102 hasConceptScore W2099467102C41008148 @default.
- W2099467102 hasConceptScore W2099467102C41895202 @default.
- W2099467102 hasConceptScore W2099467102C50712370 @default.
- W2099467102 hasConceptScore W2099467102C75291252 @default.
- W2099467102 hasConceptScore W2099467102C79403827 @default.
- W2099467102 hasConceptScore W2099467102C91071405 @default.
- W2099467102 hasLocation W20994671021 @default.
- W2099467102 hasOpenAccess W2099467102 @default.
- W2099467102 hasPrimaryLocation W20994671021 @default.
- W2099467102 hasRelatedWork W1530297972 @default.
- W2099467102 hasRelatedWork W1543802574 @default.
- W2099467102 hasRelatedWork W1973846286 @default.
- W2099467102 hasRelatedWork W1992732344 @default.
- W2099467102 hasRelatedWork W2052008611 @default.
- W2099467102 hasRelatedWork W2089832043 @default.
- W2099467102 hasRelatedWork W209133351 @default.
- W2099467102 hasRelatedWork W2105499315 @default.
- W2099467102 hasRelatedWork W2147945178 @default.
- W2099467102 hasRelatedWork W2150308295 @default.
- W2099467102 hasRelatedWork W2153680858 @default.
- W2099467102 hasRelatedWork W2365277222 @default.