Chunrong Fang

Erforschen, wie grosse Sprachmodelle die Behebung von Softwarefehlern verändern.

MaxLin verbessert die Genauigkeit und Effizienz der CNN-Verifizierung für sicherere KI-Anwendungen.

Entdecke, wie TestART die automatisierte Generierung von Unit-Tests verbessert.

Ein neues Framework kombiniert Codesuche, -generierung und -reparatur für effizientes Programmieren.

zsLLMCode erstellt nützliche Code-Darstellungen effizient mit KI.

Dieser Artikel bewertet, wie gut LLMs Testfälle für Java-Programme generieren.

Entdecke, wie LLMs das Unit-Testing für Entwickler verändern.