%0 Conference Paper %1 conf/aspdac/SauerRPSB13 %A Sauer, Matthias %A Reimer, Sven %A Polian, Ilia %A Schubert, Tobias %A Becker, Bernd %B ASP-DAC %D 2013 %I IEEE %K %P 533-539 %T Provably optimal test cube generation using quantified boolean formula solving. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#SauerRPSB13 %@ 978-1-4673-3029-9

@inproceedings{conf/aspdac/SauerRPSB13, added-at = {2023-12-13T06:00:53.000+0100}, author = {Sauer, Matthias and Reimer, Sven and Polian, Ilia and Schubert, Tobias and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2b8a32fba25ff0de5bec2f01865c8cb37/admin}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2013}, ee = {https://doi.org/10.1109/ASPDAC.2013.6509651}, interhash = {a955ccb6b6bbe0c03502ab5857ed7db6}, intrahash = {b8a32fba25ff0de5bec2f01865c8cb37}, isbn = {978-1-4673-3029-9}, keywords = {}, pages = {533-539}, publisher = {IEEE}, timestamp = {2023-12-13T06:00:53.000+0100}, title = {Provably optimal test cube generation using quantified boolean formula solving.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#SauerRPSB13}, year = 2013 }