View in EDS

LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions.

Saved in:
Bibliographic Details
Title: LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions.
Authors: King, Daragh1, kingd6@tcd.ie, Koutavas, Vasileios1, vasileios.koutavas@tcd.ie, Kovács, Laura2, laura.kovacs@tuwien.ac.at
Source: International Journal on Software Tools for Technology Transfer; Jun2026, Vol. 28 Issue 3, p317-328, 12p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first