LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions.
Saved in:
| 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 |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-026-00844-2 |
