ITHICA generates functional tests via intra-thread instruction duplication and comparison, detecting 39% more defective servers than baseline methods on over 3000 real CPUs while revealing new defect behaviors.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
SAFT-GT is a new toolchain that bridges safety and security analysis for self-adaptive systems using Attack-Fault Tree generation and model combination, validated by a domain-expert user study.
Policy-based adaptable failure detection combined with energy-efficient allocation for mitigation actions in edge IoT choreographies.
citing papers explorer
-
ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions
ITHICA generates functional tests via intra-thread instruction duplication and comparison, detecting 39% more defective servers than baseline methods on over 3000 real CPUs while revealing new defect behaviors.
-
Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
SAFT-GT is a new toolchain that bridges safety and security analysis for self-adaptive systems using Attack-Fault Tree generation and model combination, validated by a domain-expert user study.
-
Optimally Self-Healing IoT Choreographies
Policy-based adaptable failure detection combined with energy-efficient allocation for mitigation actions in edge IoT choreographies.