%0 Journal Article %1 journals/integration/SvanaesA84 %A Svanæs, Dag %A Aas, Einar J. %D 1984 %J Integr. %K dblp %N 1 %P 49-67 %T Test generation through logic programming. %U http://dblp.uni-trier.de/db/journals/integration/integration2.html#SvanaesA84 %V 2

@article{journals/integration/SvanaesA84, added-at = {2020-02-20T00:00:00.000+0100}, author = {Svanæs, Dag and Aas, Einar J.}, biburl = {https://www.bibsonomy.org/bibtex/2c00ff3f52e90c2b6de2d10afe2c5a8b5/dblp}, ee = {https://doi.org/10.1016/0167-9260(84)90006-3}, interhash = {e28048aa3291ff18d075636c9782d215}, intrahash = {c00ff3f52e90c2b6de2d10afe2c5a8b5}, journal = {Integr.}, keywords = {dblp}, number = 1, pages = {49-67}, timestamp = {2020-02-21T11:53:01.000+0100}, title = {Test generation through logic programming.}, url = {http://dblp.uni-trier.de/db/journals/integration/integration2.html#SvanaesA84}, volume = 2, year = 1984 }