Results 71 to 80 of about 949,278 (287)
Symbolic execution optimization method based on input constraint
Tongxin xuebao, 2019 To solve path explosion,low rate of new path’s finding in the software testing,a new vulnerability discovering architecture based on input constraint symbolic execution (ICBSE) was proposed.ICBSE analyzed program source code to extract three types of ...
Sunlyu WANG +3 more
doaj +2 more sources
Static Analysis of Complex Loop Structures
Безопасность информационных технологий, 2013 This paper is devoted to the advance of the existing analysis methods of data flow of software by using static analysis. It introduces a novel method which can calculate possible ranges of values of data in code in dependence on input data which can be ...
Iliya Viktorovich Arzamartsev +1 more
doaj
A Survey of Symbolic Execution Techniques [PDF]
ACM Computing Surveys, 2018 Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program’s authentication.
Baldoni, Roberto +4 more
openaire +3 more sources
Memoise: a tool for memoized symbolic execution
, 2013 —This tool paper presents a tool for performing mem-oized symbolic execution (Memoise), an approach we developed in previous work for more efficient application of symbolic execution.
Guowei Yang +2 more
core +1 more source
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane +3 more
wiley +1 more source
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Open Computer Science, 2020 Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing.
Fülöp Endre, Pataki Norbert
doaj +1 more source
Advanced Functional Materials, EarlyView.This review revisits optoelectronic neuromorphic devices that extend from unimodal sensing toward multimodal perception. Five types of stimuli‐to‐output information flow that are classified based on the device roles within the system and applications are summarized and discussed.
Jihyun Shin +6 more
wiley +1 more source
Compositional symbolic execution with memoized replay [PDF]
, 2014 textSymbolic execution is a powerful, systematic analysis that has received much visibility in the last decade. Scalability however remains a major challenge for symbolic execution.
Qiu, Rui, active 21st century
core +1 more source
SYMBION:Interleaving Symbolic with Concrete Execution [PDF]
, 2020 Symbolic execution is a powerful technique for exploring programs and generating inputs that drive them into specific states. However, symbolic execution is also known to suffer from severe limitations, which prevent its application to real-world ...
Pagani, Fabio +6 more
core +1 more source
Advanced Functional Materials, EarlyView.A post‐growth method is demonstrated to realize energy‐tunable quantum emitters in GaAs/GaAsN/GaAs core–multishell nanowires on a Si substrate. By combining the N‐induced bandgap reduction with H‐ion irradiation, the GaAsN potential landscape is engineered, enabling isolated, narrow emission lines that function as single‐photon sources with g(2)(0) ∼ 0.
Akant Sagar Sharma +10 more
wiley +1 more source