External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Improved Beam-Search for the Test Case Generation for Formal Verification Systems

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]

Authors

Mahmoud A. Bokhari

This author has not been identified. Look up 'Mahmoud A. Bokhari' in Google

Thorsten Bormer

This author has not been identified. Look up 'Thorsten Bormer' in Google

Markus Wagner 0007

This author has not been identified. Look up 'Markus Wagner 0007' in Google
runs on