Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

Aljaafari, Fatimah K.Fatimah K.AljaafariMenezes, RafaelRafaelMenezesManino, EdoardoEdoardoManinoShmarov, FedorFedorShmarovMustafa, Mustafa A.Mustafa A.MustafaCordeiro, Lucas C.Lucas C.Cordeiro2023-04-262022-12-112023-04-2620222169-3536WOS:000890845300001https://imec-publications.be/handle/20.500.12860/40863Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent ProgramsJournal article10.1109/ACCESS.2022.3223359WOS:000890845300001BOUNDED MODEL CHECKING