%0 Journal Article %1 journals/stvr/GriesmayerSB10 %A Griesmayer, Andreas %A Staber, Stefan %A Bloem, Roderick %D 2010 %J Softw. Test. Verification Reliab. %K dblp %N 2 %P 149-173 %T Fault localization using a model checker. %U http://dblp.uni-trier.de/db/journals/stvr/stvr20.html#GriesmayerSB10 %V 20

@article{journals/stvr/GriesmayerSB10, added-at = {2022-01-03T00:00:00.000+0100}, author = {Griesmayer, Andreas and Staber, Stefan and Bloem, Roderick}, biburl = {https://www.bibsonomy.org/bibtex/2043befc98ced4cb8e2af8b725613ee15/dblp}, ee = {https://doi.org/10.1002/stvr.421}, interhash = {01f26d4ac9b42e8da8b86a60568bc205}, intrahash = {043befc98ced4cb8e2af8b725613ee15}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 2, pages = {149-173}, timestamp = {2024-04-09T07:36:50.000+0200}, title = {Fault localization using a model checker.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr20.html#GriesmayerSB10}, volume = 20, year = 2010 }