Bilanz der Quelle: Eine Studie untersuchte zwei LLM-gestützte Werkzeuge für property-basierte Tests an zehn Programmen aus verschiedenen Domänen. Von 180 gemeldeten Fehlern waren 44 bereits bekannt, 65 wurden bestätigt und 23 bereits behoben.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von arxiv.org. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von arxiv.org. Es erfolgte keine manuelle redaktionelle Bearbeitung.
