Inferring and Applying Type Changes.

Ameya Ketkar Oleg Smirnov Nikolaos Tsantalis Danny Dig Timofey Bryksin

Published in: ICSE (2022)

Keyphrases

database
high level
real world
genetic algorithm