Articles matching “Nilizadeh”

1. Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok, Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs, pp. 2:1-13, PDF, DOI. Volume 23, no. 2 (March 2024)