%0 Conference Paper %1 conf/ssbse/BokhariB015 %A Bokhari, Mahmoud A. %A Bormer, Thorsten %A Wagner, Markus %B SSBSE %D 2015 %E de Oliveira Barros, Márcio %E Labiche, Yvan %I Springer %K %P 77-92 %T An Improved Beam-Search for the Test Case Generation for Formal Verification Systems. %U http://dblp.uni-trier.de/db/conf/ssbse/ssbse2015.html#BokhariB015 %V 9275 %@ 978-3-319-22182-3

@inproceedings{conf/ssbse/BokhariB015, added-at = {2023-12-12T18:07:47.000+0100}, author = {Bokhari, Mahmoud A. and Bormer, Thorsten and Wagner, Markus}, biburl = {https://www.bibsonomy.org/bibtex/20407b6ad3e50a8f7d664dcc725b190f2/admin}, booktitle = {SSBSE}, crossref = {conf/ssbse/2015}, editor = {de Oliveira Barros, Márcio and Labiche, Yvan}, ee = {https://doi.org/10.1007/978-3-319-22183-0_6}, interhash = {0dd221aae13295cbe89f4af73f89d545}, intrahash = {0407b6ad3e50a8f7d664dcc725b190f2}, isbn = {978-3-319-22182-3}, keywords = {}, pages = {77-92}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:07:47.000+0100}, title = {An Improved Beam-Search for the Test Case Generation for Formal Verification Systems.}, url = {http://dblp.uni-trier.de/db/conf/ssbse/ssbse2015.html#BokhariB015}, volume = 9275, year = 2015 }