%0 Journal Article %1 journals/tse/TsaiVK90 %A Tsai, Wei-Tek %A Volovik, Dmitry %A Keefe, Thomas F. %D 1990 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 316-324 %T Automated Test Case Generation for Programs Specified by Relational Algebra Queries. %U http://dblp.uni-trier.de/db/journals/tse/tse16.html#TsaiVK90 %V 16

@article{journals/tse/TsaiVK90, added-at = {2015-12-10T00:00:00.000+0100}, author = {Tsai, Wei-Tek and Volovik, Dmitry and Keefe, Thomas F.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/223677f3312c51b42b5462fd70a348108/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.48939}, interhash = {55de1a196ee5d16e9b01667001ca08ef}, intrahash = {23677f3312c51b42b5462fd70a348108}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {316-324}, timestamp = {2016-02-02T09:33:23.000+0100}, title = {Automated Test Case Generation for Programs Specified by Relational Algebra Queries.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse16.html#TsaiVK90}, volume = 16, year = 1990 }