448 results on '"Symbolic execution"'
Search Results
2. Malware Analysis with Symbolic Execution and Graph Kernel
3. Building SSA in a Compiler for PHP
4. SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)
5. A Guided Search for Races Based on Data Flow Patterns
6. Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production
7. A Binary Code Vulnerability Mining Method Based on Generative Adversarial Networks
8. Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs
9. A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
10. A Tight Integration of Symbolic Execution and Fuzzing (Short Paper)
11. Scheduling Complexity of Interleaving Search
12. LART: Compiled Abstract Execution : (Competition Contribution)
13. FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing : (Competition Contribution)
14. Security Analysis of Blockchain Smart Contract: Taking Reentrancy Vulnerability as an Example
15. A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs
16. Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes
17. Pointer Program Synthesis as Non-deterministic Planning
18. Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench
19. FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
20. BinSEAL: Linux Binary Obfuscation Against Symbolic Execution
21. Verifying Weakly Consistent Transactional Programs Using Symbolic Execution
22. Register-Transfer Level Correspondence Analysis
23. Verification of Embedded Software Binaries using Virtual Prototypes
24. Preliminaries
25. Testing of Execution of Concurrent Processes
26. Parallel Chopped Symbolic Execution
27. Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
28. Formal Verification of an Industrial Distributed Algorithm: An Experience Report
29. Skylines for Symbolic Energy Consumption Analysis
30. Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs
31. Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution
32. Constraint Caching Revisited
33. Synthesizing JIT Compilers for In-Kernel DSLs
34. Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
35. HAEPG: An Automatic Multi-hop Exploitation Generation Framework
36. Synthesizing Imperative Code from Answer Set Programming Specifications
37. LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
38. Analysing installation scenarios of Debian packages
39. Legion: Best-First Concolic Testing (Competition Contribution)
40. SymSem: Symbolic Execution with Time Stamps for Deobfuscation
41. Ghost Code in Action: Automated Verification of a Symbolic Interpreter
42. ASVG: Automated Software Vulnerability Sample Generation Technology Based on Source Code
43. Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances
44. Detecting Token Systems on Ethereum
45. A Testing Perspective on Algebraic, Denotational, and Operational Semantics
46. A Survey of the Software Vulnerability Discovery Using Machine Learning Techniques
47. Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution
48. An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
49. Pinaka: Symbolic Execution Meets Incremental Solving : (Competition Contribution)
50. A Generic Web Application Testing and Attack Data Generation Method
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.