Symbolic Execution - Globe Thesis

Keyword [Symbolic Execution] Result: 181 - 200 \| Page: 10 of 10
181.	An empirical study of test suites in practice against test suites generated by dynamic symbolic execution
182.	Avoiding State-Space Explosion in Multithreaded Programs with Input-Covering Schedules and Symbolic Execution
183.	Software Vulnerability Detection Techniques For Internet Of Things Devices
184.	Research On Optimization Of Test Data Generation Based On Symbolic Execution
185.	Research On Optimization Approach Of Binary Program Analysis Technology For Vulnerability Discovery
186.	Research On Program Constraint Modeling In Unit Coverage Testing
187.	Defect Detection Techniques For Complex Programs
188.	Static Evaluation Of Spectre Attacks On RISC-V Architecture
189.	An Automated Vulnerability Verification System For C/C++ Programs
190.	Symbolic Execution Based Optimization Of Ethereum Smart Contracts' Bytecode
191.	Smart Contract Vulnerability Detection Based On The Combination Of Dynamic And Static Method
192.	Ethereum Smart Contract Vulnerability Detection Based On Static Analysis
193.	Research And Application Of Token Identification Method On Ethereum
194.	A Commutativity Test Method Of Reduce Function Based On Program Slicing
195.	Research And Implementation Of Dynamic Taint Analysis Method Combined With Concolic Symbolic Execution
196.	Sandbox Evasion Counter Technology Based On Dynamic Analysis
197.	Research And Application Of Samrt Comtract Vulnerablity Deteection Technology
198.	Design And Implementation Of Vulnerability Exploit Generation Technology For Linux Platform Program
199.	Research And Implementation Of Improved Fuzzing Method Based On Symbolic Execution
200.	Research On Analysis And Automatic Detection Of Heap Overflow In Linux
<<First <Prev Next> Last>> Jump to