Search

Your search keyword '"Symbolic execution"' showing total 448 results

Search Constraints

Start Over You searched for: Descriptor "Symbolic execution" Remove constraint Descriptor: "Symbolic execution" Publisher springer international publishing Remove constraint Publisher: springer international publishing
448 results on '"Symbolic execution"'

Search Results

1. symQV: Automated Symbolic Verification of Quantum Programs

2. Malware Analysis with Symbolic Execution and Graph Kernel

5. A Guided Search for Races Based on Data Flow Patterns

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)

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

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

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

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