• HYSDEL

  • Referenced in 39 articles [sw05200]
  • control, safety verification, or estimation and fault detection problems...
  • Rostra

  • Referenced in 10 articles [sw07268]
  • time without increasing the ability to detect faults. This paper proposes Rostra, a framework...
  • global_report

  • Referenced in 4 articles [sw26673]
  • criteria computer package for power transformer fault detection and diagnosis. A package in Maple that ... helps users in power transformers fault detection and diagnosis has been developed. Transformers are required ... from aging process, stress conditions or electrical faults. Besides, they require special measurement devices...
  • ADDSAFE

  • Referenced in 4 articles [sw19643]
  • robust sliding mode observer fault detection scheme applied to an aircraft benchmark problem as part ... this paper is the yaw rate sensor fault scenario. A robust sliding mode sensor fault ... specific challenging manoeuvres and realistic fault types. The detection and isolation logic together with...
  • CRAFT

  • Referenced in 4 articles [sw41024]
  • unprotected implementations but also when fault-detection facilities, side-channel protection, and their combination...
  • ConTest

  • Referenced in 6 articles [sw09613]
  • interleavings, any of which may contain a fault. In this work we present a methodology ... reruns existing tests in order to detect synchronization faults. We find that a single test ... effective in finding synchronization faults as many different tests. A great deal of resources ... detector (not finished yet) that enhance bug detection capabilities. The greatest advantage of ConTest, besides...
  • DB-KIT

  • Referenced in 2 articles [sw38292]
  • modern industry. As a result, prognosis and fault diagnosis of the complex systems have gained ... evaluate the influence of the detected faults to systems’ behavior, there is a pressing need ... data based key-performance-indicator oriented fault detection toolbox (DB-KIT), which realizes a series...
  • FITBOX

  • Referenced in 3 articles [sw21880]
  • novel set-membership methods for Fault Detection and Isolation (FDI). We apply the proposed methods...
  • GLSNN

  • Referenced in 1 article [sw34569]
  • local-structure-based neural network for fault detection. A novel statistical fault detection method, called ... neural network (GLSNN), is proposed for fault detection. GLSNN is a nonlinear data-driven process ... statistic are adopted for online fault detection. The merits of the proposed GLSNN method...
  • Falcon

  • Referenced in 2 articles [sw23088]
  • usually occur under specific thread interleavings. Fault-detection tools in this area find data-access ... well as actual faulty patterns. Traditional fault-localization techniques have been ... successful in identifying faults in sequential, deterministic programs, but they cannot detect faulty data-access ... threads. This paper presents a new dynamic fault-localization technique that can pinpoint faulty data...
  • MTFSP

  • Referenced in 2 articles [sw29903]
  • wireless communications or condition monitoring and fault detection in industrial plants. It allows...
  • ZetaSAT

  • Referenced in 7 articles [sw11459]
  • problem decomposition, load balancing, termination detection, and domain specific fault tolerance. We report on performance...
  • SINGRAR

  • Referenced in 2 articles [sw02322]
  • decrease of total time between fault detection and triggering of the repair process...
  • DeepMutation

  • Referenced in 2 articles [sw42699]
  • what extent a test suite detects the injected faults. However, due to the fundamental difference ... what extent the injected faults could be detected. The usefulness of the proposed mutation testing...
  • BugSwarm

  • Referenced in 1 article [sw28468]
  • Dataset of Reproducible Failures and Fixes. Fault-detection, localization, and repair methods are vital ... Large, diverse, realistic datasets of durably-reproducible faults and fixes are vital to good experimental ... toolkit can be run periodically to detect fail-pass activities, thus growing the dataset continually...
  • EvoMaster

  • Referenced in 1 article [sw36478]
  • maximize measures like code coverage and fault detection...
  • SymPLFIED

  • Referenced in 2 articles [sw20832]
  • SymPLFIED: symbolic program-level fault injection and error detection framework. This paper introduces SymPLFIED ... used to uncover hard-to-detect catastrophic cases caused by transient errors in programs that ... exposed by random fault injection-based validation. Further, the errors exposed by the framework help...
  • Eclat

  • Referenced in 7 articles [sw07273]
  • reveal faults. Thus, the technique can also be seen as an error-detection technique ... improving the efficiency of its search for fault-revealing inputs. We have implemented these techniques...
  • FD4C

  • Referenced in 0 articles [sw36762]
  • these issues, this paper proposes an automatic fault (F) diagnosis (D) framework ... specific access behavior pattern. FD4C detects faults by discovering the abrupt changes of correlation coefficients ... show that FD4C can effectively detect the typical faults and accurately locate the metrics related...
  • Online-ABFT

  • Referenced in 3 articles [sw17489]
  • online algorithm based fault tolerance scheme for soft error detection in iterative methods. Soft errors...