“Algorithm Selection for Software Verification using Graph Neural Networks” was accepted by TOSEM as a journal first paper on their AI for SE track!