Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing

Johann Glock. Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024. pages 142-144, ACM, 2024. [doi]

Abstract

Abstract is missing.