DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Concolic testing
Concolic testing
A Scalable Concolic Testing Tool for Reliable Embedded Software
Automated Concolic Testing of Smartphone Apps
Concolic Testing
Advanced Software Testing and Debugging (CS598) Symbolic Execution
Symbolic Execution for Software Testing: Three Decades Later
Security Testing Vs “Regular” Testing
Efficient Concolic Execution Via Branch Condition Synthesis
Multi-Platform Binary Program Testing Using Concolic Execution Master’S Thesis in Computer Systems and Networks
Hyperfuzzing for Soc Security Validation
UCLA Electronic Theses and Dissertations
Automatic Concolic Test Generation with Virtual Prototypes for Post-Silicon Validation
Testing Database Applications Using Coverage Analysis and Mutation Analysis Tanmoy Sarkar Iowa State University
Concolic Testing on Embedded Software - Case Studies on Mobile Platform Programs
A Systematic Review of Concolic Testing with Aplication of Test Criteria
Concolic Testing for Deep Neural Networks∗
Concolic Testing of Systemc Designs
Hybrid Concolic Testing∗
Diving Into Abysmal Depth of the Binary for Hunting Deeply Hidden Software Vulnerabilities
Top View
Koushik Sen's Research Statement
Selective Concolic Testing for Hardware Trojan Detection in Behavioral Systemc Designs
Abstract Interpretation, Symbolic Execution and Constraints
Challenges and Opportunities with Concolic Testing
Combining Model Checking and Testing
Directfuzz: Automated Test Generation for RTL Designs Using Directed Graybox Fuzzing
Symbolic Execution Enhanced System Testing
Legion: Best-First Concolic Testing
Best-First Concolic Testing (Competition Contribution)
Automated Concolic Testing of Smartphone Apps
Automatic Software Verification Lecture 5 Symbolic Vs. Concrete Testing
Boosting Concolic Testing Via Interpolation
RUSTY: a Fuzzing Tool for Rust Mohammadreza Ashouri
[email protected]
Berlin, Germany
A Survey of Symbolic Execution Techniques
Grey-Box Concolic Testing on Binary Code
Taint Analysis and Forward Symbolic Execution (But Might Have Been Afraid to Ask)
Shfuzz: Selective Hybrid Fuzzing with Branch Scheduling Based on Binary Instrumentation
CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems
Versatile Binary-Level Concolic Testing
Research on Fuzz Testing Framework Based on Concolic Execution
Abstract Interpretation, Symbolic Execution and Constraints
Experimental Comparison of Concolic and Random Testing for Java Card Applets?
CS412 Software Security Program Testing – Fuzzing
An Open-Source Concolic Execution Engine for X86 Binaries
RTL Functional Test Generation Using Factored Concolic Execution