A method combining control-flow reconstruction and symbolic execution infers output-oriented equivalence classes directly from undocumented compiled firmware to aid systematic safety testing.
2017.DW ARF Debugging Information Format Version 5
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
A method combining control-flow reconstruction and symbolic execution infers output-oriented equivalence classes directly from undocumented compiled firmware to aid systematic safety testing.