Adéla Stepková. Reversing Programs for Error Reachability Analysis. In Mike Papadakis, Myra B. Cohen, Paolo Tonella, editors, Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025. pages 80-81, ACM, 2025. [doi]
Abstract is missing.