Khashayar Etemadi

Ein neues Tool senkt die Kosten für automatisches Bugfixing und bleibt dabei effektiv.

2025-09-09T14:29:06+00:00 ― 5 min Lesedauer

Grosse Sprachmodelle verbessern das differentielle Testen in der Softwareentwicklung.

2025-07-29T00:13:30+00:00 ― 7 min Lesedauer

Ein neues Werkzeug kombiniert LLMs und formale Verifizierung für sicherere Codeerstellung.

2025-05-02T18:32:00+00:00 ― 7 min Lesedauer