Results 121 to 130 of about 337 (131)
Concolic Execution of Multi-threaded Assembly Programs
At its core, this thesis is an exploratory study that attempts to determine whether a relatively new technique, concolic execution for multi-threaded programs [12], can be used in a particular context, assembly lifting. It presents a prototype for an ARM
Schmechel, Johannes
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Effective Test Case Generation via Concolic Execution
2012A concolic execution based testing framework is proposed to generate tests for real-life applications. Concolic execution is a hybrid software analysis technique which combines concrete execution with symbolic execution. It makes some tradeoff between pure static analysis and dynamic analysis.
Yan Hu, He Jiang
openaire +1 more source
Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023Jihyeon Yu +3 more
openaire +1 more source
The Dart, the Psyco, and the Doop
Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2015Dimitra Giannakopoulou +2 more
exaly
Software backdoor analysis based on sensitive flow tracking and concolic execution
Wuhan University Journal of Natural Sciences, 2016Shaoyin Cheng, Fan Jiang, Wang Jiajie
exaly
Testing concolic execution through consistency checks
Journal of Systems and SoftwareEmilio Coppa
exaly