Results 121 to 130 of about 1,018,291 (234)
A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]
PLoS One, 2017 Wen S, Meng Q, Feng C, Tang C.
europepmc +1 more source
Exact and Approximate Probabilistic Symbolic Execution [PDF]
Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism ...
Dwyer, Matthew B. +4 more
core +1 more source
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Network and Distributed System Security Symposium, 2016 Nick Stephens +8 more
semanticscholar +1 more source
A Method of Analysis of Multithreaded Applications Based on Symbolic Execution
Безопасность информационных технологий, 2014 This article is devoted to method of search for bugs in multithreaded applications based on the symbolic execution algorithm. This method can deterministically find race of the conditions and dead locks in multithreaded applications providing thread ...
Ilya Viktorovich Arzamartsev +1 more
doaj
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. [PDF]
Softw Syst ModelOakes BJ, Troya J, Galasso J, Wimmer M.
europepmc +1 more source
Kicking the mental number line: a kinematic investigation of numerical processing in childhood. [PDF]
Front PsycholStraulino E +4 more
europepmc +1 more source
Blockchain-enabled identity management for IoT: a multi-layered defense against adversarial AI. [PDF]
Sci RepUsama M +5 more
europepmc +1 more source