Chenfeng Wei, Tong Wu, Rafael Sa Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro. ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). In Artur Boronat, Gordon Fraser 0001, editors, Fundamental Approaches to Software Engineering - 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings. Volume 15693 of Lecture Notes in Computer Science, pages 281-286, Springer, 2025. [doi]
Abstract is missing.