Viktor Malík, Tomás Vojnar. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021. pages 329-339, IEEE, 2021. [doi]
Abstract is missing.