Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3223359
Abstract: Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings grows exponentially with the number of program threads and statements. We propose… read more here.
Keywords: software; software vulnerabilities; bmc; finding software ... See more keywords