Automated Generation of Code Contracts: Generative AI to the Rescue?

Sandra Greiner, Noah Bhlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, Timo Kehrer

Browse the full GPCE paper archive.