A systematic review yields a seven-category taxonomy of defeaters in safety assurance cases: logical, contextual, evidence-validity, requirements, structural, adversarial, and uncertainty.
Weaving an assurance case from design: a model-based approach,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
A Taxonomy of Real-World Defeaters in Safety Assurance Cases
A systematic review yields a seven-category taxonomy of defeaters in safety assurance cases: logical, contextual, evidence-validity, requirements, structural, adversarial, and uncertainty.