%0 Conference Paper %1 conf/hvc/NahirSZ06 %A Nahir, Amir %A Shiloach, Yossi %A Ziv, Avi %B Haifa Verification Conference %D 2006 %E Bin, Eyal %E Ziv, Avi %E Ur, Shmuel %I Springer %K dblp %P 16-33 %T Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2006.html#NahirSZ06 %V 4383 %@ 978-3-540-70888-9

@inproceedings{conf/hvc/NahirSZ06, added-at = {2017-05-19T00:00:00.000+0200}, author = {Nahir, Amir and Shiloach, Yossi and Ziv, Avi}, biburl = {https://www.bibsonomy.org/bibtex/237d1c7dcc97e3ec6f57fa16d63e8cfd6/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2006}, editor = {Bin, Eyal and Ziv, Avi and Ur, Shmuel}, ee = {https://doi.org/10.1007/978-3-540-70889-6_2}, interhash = {87f3d419e30c1cad5bbc6524069d71b1}, intrahash = {37d1c7dcc97e3ec6f57fa16d63e8cfd6}, isbn = {978-3-540-70888-9}, keywords = {dblp}, pages = {16-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2006.html#NahirSZ06}, volume = 4383, year = 2006 }