Collection de recherches
#symbolic-execution
1 article avec le tag Symbolic execution. Chaque article indique ce qu’il démontre et ce qu’il ne démontre pas.
1 résultats
Racer vérifie que les noyaux GPU réécrits préservent leur fonction
Racer vérifie symboliquement les réécritures de noyaux GPU et révèle des bugs manqués par les tests sur échantillons, dans le périmètre de son étude sur des noyaux de production.