Browsing by Author "Cordeiro, Lucas C."

Now showing 1 - 2 of 2

AIREPAIR: A Repair Platform for Neural Networks

Song, Xidan
;
Sun, Youcheng
;
Mustafa, Mustafa A.
;
Cordeiro, Lucas C.
Proceedings paper
2023, 45th IEEE/ACM International Conference on Software Engineering (ICSE), MAY 14-20, 2023, p.98-101
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Aljaafari, Fatimah K.
;
Menezes, Rafael
;
Manino, Edoardo
;
Shmarov, Fedor
;
Mustafa, Mustafa A.
Journal article
2022, IEEE ACCESS, (10) 1, p.121365-121384