Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs-MedSci.cn

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

Aljaafari, FK; Menezes, R; Manino, E; Shmarov, F; Mustafa, MA; Cordeiro, LC

Cordeiro, LC (通讯作者)，Univ Manchester, Dept Comp Sci, Manchester M13 9PL, England.;Cordeiro, LC (通讯作者)，Univ Fed Amazonas, Postgrad Program Elect Engn PPGEE, BR-69077000 Manaus, Brazil.