A Aralex Aachen research explorer

July 13, 2020 conference-paper

How far we have come: testing decompilation correctness of C decompilers

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

DOI: 10.1145/3395363.3397370 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 61

CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

3

citations

1 result

References 0