%0 Journal Article %1 journals/dt/SauerCSHPB13 %A Sauer, Matthias %A Czutro, Alexander %A Schubert, Tobias %A Hillebrecht, Stefan %A Polian, Ilia %A Becker, Bernd %D 2013 %J IEEE Design & Test %K dblp %N 4 %P 81-88 %T SAT-Based Analysis of Sensitizable Paths. %U http://dblp.uni-trier.de/db/journals/dt/dt30.html#SauerCSHPB13 %V 30

@article{journals/dt/SauerCSHPB13, added-at = {2016-03-09T00:00:00.000+0100}, author = {Sauer, Matthias and Czutro, Alexander and Schubert, Tobias and Hillebrecht, Stefan and Polian, Ilia and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20a02fdca0a3369e77e8b7308740d8e2b/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MDT.2012.2230297}, interhash = {4e998812df8b8b928669f2e9b101887d}, intrahash = {0a02fdca0a3369e77e8b7308740d8e2b}, journal = {IEEE Design & Test}, keywords = {dblp}, number = 4, pages = {81-88}, timestamp = {2016-03-10T11:20:13.000+0100}, title = {SAT-Based Analysis of Sensitizable Paths.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt30.html#SauerCSHPB13}, volume = 30, year = 2013 }