Shiva Nejati. Search-Based Software Testing for Formal Software Verification - and Vice Versa. In Aldeida Aleti, Annibale Panichella, editors, Search-Based Software Engineering - 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings. Volume 12420 of Lecture Notes in Computer Science, pages 3-6, Springer, 2020. [doi]
Abstract is missing.