Max Barth, Marie-Christine Jakobs. Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. In Marieke Huisman, Falk Howar, editors, Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Volume 15153 of Lecture Notes in Computer Science, pages 45-64, Springer, 2024. [doi]
Abstract is missing.