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

Mahmoud A. Bokhari, Thorsten Bormer, Markus Wagner

Browse the full SSBSE paper archive.