תמונות העטיפה

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches

שמור ב:
הוצא לאור ב:arXiv.org (Sep 8, 2024), p. n/a
מחבר ראשי: Braberman, Víctor A
מחברים אחרים: Bonomo-Braberman, Flavia, Charalambous, Yiannis, Colonna, Juan G, Cordeiro, Lucas C, Rosiane de Freitas
יצא לאור:
Cornell University Library, arXiv.org
נושאים:
Taxonomy
Program verification (computers)
Software engineering
Large language models
Software testing
גישה מקוונת:Citation/Abstract
Full text outside of ProQuest
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
היה/י הראשונ/ה לכתוב הערה!
צריך להיות מחובר מראש