Reversing Programs for Error Reachability Analysis

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.