%0 Conference Paper %1 conf/ets/ScheiblerEB15 %A Scheibler, Karsten %A Erb, Dominik %A Becker, Bernd %B ETS %D 2015 %I IEEE %K %P 1-6 %T Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. %U http://dblp.uni-trier.de/db/conf/ets/ets2015.html#ScheiblerEB15 %@ 978-1-4799-7603-4

@inproceedings{conf/ets/ScheiblerEB15, added-at = {2023-12-13T02:00:21.000+0100}, author = {Scheibler, Karsten and Erb, Dominik and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2d5dc6ea258d287e3a3ed53e609a3195a/admin}, booktitle = {ETS}, crossref = {conf/ets/2015}, ee = {https://doi.org/10.1109/ETS.2015.7138738}, interhash = {798d5f254e819589b160904266584819}, intrahash = {d5dc6ea258d287e3a3ed53e609a3195a}, isbn = {978-1-4799-7603-4}, keywords = {}, pages = {1-6}, publisher = {IEEE}, timestamp = {2023-12-13T02:00:21.000+0100}, title = {Improving test pattern generation in presence of unknown values beyond restricted symbolic logic.}, url = {http://dblp.uni-trier.de/db/conf/ets/ets2015.html#ScheiblerEB15}, year = 2015 }