67 results on '"symbolic execution"'
Search Results
2. An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges
3. Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
4. Automated test data generation and stubbing method for C/C++ embedded projects
5. Schematic Program Proofs with Abstract Execution: Theory and Applications
6. A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes
7. HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
8. Towards rigorous understanding of neural networks via semantics-preserving transformations
9. Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
10. On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations
11. The CoLiS platform for the analysis of maintainer scripts in Debian software packages
12. Verifying verified code
13. Dr.PathFinder: hybrid fuzzing with deep reinforcement concolic execution toward deeper path-first search
14. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
15. DivSIM , an interactive simulator for LLVM bitcode
16. Correct approximation of IEEE 754 floating-point arithmetic for program verification
17. A symbolic execution-based method to perform untargeted attack on feed-forward neural networks
18. Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
19. Machine learning steered symbolic execution framework for complex software code
20. The application of hypergroups in symbolic executions and finite automata
21. Symbiotic 6: generating test cases by slicing and symbolic execution
22. Analyzing system software components using API model guided symbolic execution
23. On the Automatic Analysis of the Practical Resistance of Obfuscating Transformations
24. Automatic Buffer Overflow Warning Validation
25. BarrierFinder: recognizing ad hoc barriers
26. Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
27. Extending symbolic execution for automated testing of stored procedures
28. Joint forces for memory safety checking revisited
29. The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
30. Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
31. Exploring output-based coverage for testing PHP web applications
32. Verifying Parallel Code After Refactoring Using Equivalence Checking
33. Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
34. An Approach to Vulnerability Searching of Integer Overflows in the Executable Program Code
35. Comparative Analysis of Two Approaches to Static Taint Analysis
36. Overfitting in semantics-based automated program repair
37. Evaluation of model checkers by verifying message passing programs
38. Full contract verification for ATL using symbolic execution
39. VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs
40. Tuning parallel symbolic execution engine for better performance
41. From proof-of-concept to exploitable: (One step towards automatic exploitability assessment)
42. Automated Verification of Functional Correctness of Race-Free GPU Programs
43. MalwareHunt: semantics-based malware diffing speedup by normalized basic block memoization
44. An empirical study on constraint optimization techniques for test generation
45. Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
46. MagicDetector: A Precise and Scalable Static Deadlock Detector for C/C++ Programs
47. Formally proved security of assembly code against power analysis: A case study on balanced logic
48. MLSA: a static bugs analysis tool based on LLVM IR
49. Symbolic execution and timed automata model checking for timing analysis of Java real-time systems
50. Melton: a practical and precise memory leak detection tool for C programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.