APA (7th ed.) Citation

King, D., Koutavas, V., & Kovács, L. (2026). LLMs and fuzzing in tandem: A new approach to automatically generating weakest preconditions. International Journal on Software Tools for Technology Transfer, 28(3), 317. https://doi.org/10.1007/s10009-026-00844-2

Chicago Style (17th ed.) Citation

King, Daragh, Vasileios Koutavas, and Laura Kovács. "LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions." International Journal on Software Tools for Technology Transfer 28, no. 3 (2026): 317. https://doi.org/10.1007/s10009-026-00844-2.

MLA (9th ed.) Citation

King, Daragh, et al. "LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions." International Journal on Software Tools for Technology Transfer, vol. 28, no. 3, 2026, p. 317, https://doi.org/10.1007/s10009-026-00844-2.