Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner 0007. An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. In Márcio de Oliveira Barros, Yvan Labiche, editors, Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings. Volume 9275 of Lecture Notes in Computer Science, pages 77-92, Springer, 2015. [doi]
Abstract is missing.