%0 Conference Paper %1 conf/itc/ErbSKSWB14 %A Erb, Dominik %A Scheibler, Karsten %A Kochte, Michael A. %A Sauer, Matthias %A Wunderlich, Hans-Joachim %A Becker, Bernd %B ITC %D 2014 %I IEEE Computer Society %K dblp %P 1-10 %T Test pattern generation in presence of unknown values based on restricted symbolic logic. %U http://dblp.uni-trier.de/db/conf/itc/itc2014.html#ErbSKSWB14 %@ 978-1-4799-4722-5

@inproceedings{conf/itc/ErbSKSWB14, added-at = {2023-03-23T00:00:00.000+0100}, author = {Erb, Dominik and Scheibler, Karsten and Kochte, Michael A. and Sauer, Matthias and Wunderlich, Hans-Joachim and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/26da271940f6eaf0c402510112d793436/dblp}, booktitle = {ITC}, crossref = {conf/itc/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/TEST.2014.7035350}, interhash = {c157ec3ef89ff85ef598a36f127d6742}, intrahash = {6da271940f6eaf0c402510112d793436}, isbn = {978-1-4799-4722-5}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:29:56.000+0200}, title = {Test pattern generation in presence of unknown values based on restricted symbolic logic.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc2014.html#ErbSKSWB14}, year = 2014 }