Results 71 to 80 of about 337 (131)
FCEP: A Fast Concolic Execution for Reaching Software Patches
International Conferences on Software Engineering and Knowledge Engineering, 2021 Meng Fan +3 more
openaire +1 more source
A Parallel Approach to Concolic Testing with Low-cost Synchronization
, 2011 This paper presents a practical approach to parallelize the test data generation algorithm by which computing resources can be fully used. The test data generation approach that we are using is based on the dynamic symbolic execution (concolic testing ...
Zheng Wang +9 more
core +1 more source
Concolic Execution as a General Method of Determining Local Malware Signatures
CoRR, 2017 A commonly shared component of antivirus suites is a local database of malware signatures that is used during the static analysis process. Despite possible encryption, heuristic obfuscation, or attempts to hide this database from malicious end-users (or competitors), a currently avoidable eventuality for offline static analysis is a need to use the ...
openaire +2 more sources
APT Detection with Concolic Execution
International Journal of Hybrid Information Technology, 2017 Yunfei Su +3 more
openaire +1 more source
Automated Vulnerability Discovery and Exploitation in the Internet of Things. [PDF]
Sensors (Basel), 2019 Wang Z +9 more
europepmc +1 more source
SCORE: A scalable concolic testing tool for reliable embedded software
, 2011 Current industrial testing practices often generate test cases in a manual manner, which degrades both the effectiveness and efficiency of testing. To alleviate this problem, concolic testing generates test cases that can achieve high coverage in an ...
Kim, Yunho, Kim, Moonzoo
core
Ffuzz: Towards full system high coverage fuzz testing on binary executables. [PDF]
PLoS One, 2018 Zhang B, Ye J, Bi X, Feng C, Tang C.
europepmc +1 more source
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification [PDF]
Decentralized finance (DeFi) is revolutionizing the traditional centralized finance paradigm with its attractive features such as high availability, transparency, and tamper-proofing.
Gervais, Arthur +3 more
core +1 more source