%0 Journal Article %1 journals/isf/ZengT14 %A Zeng, Bolong %A Tan, Li %D 2014 %J Information Systems Frontiers %K dblp %N 5 %P 823-834 %T A unified framework for evaluating test criteria in model-checking-assisted test case generation. %U http://dblp.uni-trier.de/db/journals/isf/isf16.html#ZengT14 %V 16

@article{journals/isf/ZengT14, added-at = {2014-10-08T00:00:00.000+0200}, author = {Zeng, Bolong and Tan, Li}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20e8c93d8991de2652e52ea278bb96130/dblp}, ee = {http://dx.doi.org/10.1007/s10796-013-9424-y}, interhash = {66722ddbb616f32dadf16699deb8c780}, intrahash = {0e8c93d8991de2652e52ea278bb96130}, journal = {Information Systems Frontiers}, keywords = {dblp}, number = 5, pages = {823-834}, timestamp = {2016-02-02T08:52:33.000+0100}, title = {A unified framework for evaluating test criteria in model-checking-assisted test case generation.}, url = {http://dblp.uni-trier.de/db/journals/isf/isf16.html#ZengT14}, volume = 16, year = 2014 }