%0 Journal Article %1 journals/tosem/LeesonD24 %A Leeson, Will %A Dwyer, Matthew B. %D 2024 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 3 %P 76:1-76:36 %T Algorithm Selection for Software Verification Using Graph Neural Networks. %U http://dblp.uni-trier.de/db/journals/tosem/tosem33.html#LeesonD24 %V 33

@article{journals/tosem/LeesonD24, added-at = {2024-04-15T00:00:00.000+0200}, author = {Leeson, Will and Dwyer, Matthew B.}, biburl = {https://www.bibsonomy.org/bibtex/2e76bd6d6a3d277f73309b7f428c5ae76/dblp}, ee = {https://doi.org/10.1145/3637225}, interhash = {03874f4c9b9e03b51d96bf38f92a5ef9}, intrahash = {e76bd6d6a3d277f73309b7f428c5ae76}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, month = {March}, number = 3, pages = {76:1-76:36}, timestamp = {2024-04-22T07:11:15.000+0200}, title = {Algorithm Selection for Software Verification Using Graph Neural Networks.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem33.html#LeesonD24}, volume = 33, year = 2024 }