Browsing by author "Cordeiro, Lucas C."
Now showing items 1-2 of 2
-
AIREPAIR: A Repair Platform for Neural Networks
Song, Xidan; Sun, Youcheng; Mustafa, Mustafa A.; Cordeiro, Lucas C. (2023) -
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Aljaafari, Fatimah K.; Menezes, Rafael; Manino, Edoardo; Shmarov, Fedor; Mustafa, Mustafa A.; Cordeiro, Lucas C. (2022)