Résultats de la recherche - Mirchev, Martin

  • Résultat(s) 1 - 3 résultats de 3
Affiner les résultats
  1. 1
    Image de couverture de livre

    Computation Tree Logic Guided Program Repair par Liu, Yu, Song, Yahui, Mirchev, Martin, Roychoudhury, Abhik

    Publié 2025
    Accéder au texte intégral
    Preprint

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Assured Automatic Programming via Large Language Models par Mirchev, Martin, Costea, Andreea, Singh, Abhishek Kr, Roychoudhury, Abhik

    Publié 2024
    Accéder au texte intégral
    Preprint

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

    Fixing Security Vulnerabilities with AI in OSS-Fuzz par Zhang, Yuntong, Wang, Jiawei, Berzin, Dominic, Mirchev, Martin, Liu, Dongge, Arya, Abhishek, Chang, Oliver, Roychoudhury, Abhik

    Publié 2024
    Accéder au texte intégral
    Preprint

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: