EXE: A system for automatically generating inputs of death using symbolic execution

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Conference on Computer and Communications Security

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatically generating malicious disks using symbolic execution

  2006cited by this paper
• Execution Generated Test Cases: How to Make Systems Code Crash Itself

  2005cited by this paper
• CUTE: a concolic unit testing engine for C

  2005cited by this paper
• DART: directed automated random testing

  2005cited by this paper
• Scalable error detection using boolean satisfiability

  2005cited by this paper
• CVC Lite: A New Implementation of the Cooperating Validity Checker Category B

  2004influential reference
• A Theory of Predicate-Complete Test Coverage and Generation

  2004influential reference
• Recovering device drivers

  2004cited by this paper
• Model Checking Large Network Protocol Implementations

  2004cited by this paper
• A Practical Dynamic Buffer Overflow Detector

  2004cited by this paper
• High Coverage Detection of Input-Related Security Faults

  2003cited by this paper
• Generalized Symbolic Execution for Model Checking and Testing

  2003cited by this paper
• Hardware verification using ANSI-C programs as a reference

  2003cited by this paper
• Flow-sensitive type qualifiers

  2002cited by this paper
• ESP: path-sensitive program verification in polynomial time

  2002cited by this paper
• CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

  2002cited by this paper
• Automatically validating temporal safety properties of interfaces

  2001influential reference
• An empirical study of operating systems errors

  2001cited by this paper
• Automatic predicate abstraction of C programs

  2001influential reference
• A static analyzer for finding dynamic programming errors

  2000cited by this paper
• A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities

  2000cited by this paper
• Bandera: extracting finite-state models from Java source code

  2000cited by this paper
• Automated test data generation using an iterative relaxation method

  1998cited by this paper
• Automatic test data generation using constraint solving techniques

  1998cited by this paper
• Model checking for programming languages using VeriSoft

  1997cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• The chaining approach for software test data generation

  1996cited by this paper
• Fast detection of memory leaks and access errors

  1991cited by this paper
• Simplification by Cooperating Decision Procedures

  1979cited by this paper
• SELECT—a formal system for testing and debugging programs by symbolic execution

  1975cited by this paper

• Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

  2025cites this paper
• Driving Execution of Target Paths in Android Applications with (a) CAR

  2022cites this paper
• DESENSITIZATION: Privacy-Aware and Attack-Preserving Crash Report

  2020cites this paper
• A Generating-Extension-Generator for Machine Code

  2020cites this paper
• Comprehensive Robustness Evaluation of File Systems with Model Checking

  2020cites this paper
• HFL: Hybrid Fuzzing on the Linux Kernel

  2020cites this paper
• A systematic review of fuzzing based on machine learning techniques

  2019cites this paper
• Fuzzing Program Logic Deeply Hidden in Binary Program Stages

  2019cites this paper
• Segmental Symbolic Execution Based on Clustering

  2019cites this paper
• FinExpert: domain-specific test generation for FinTech systems

  2019cites this paper
• Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

  2018cites this paper
• FACTS: automated black-box testing of FinTech systems

  2018cites this paper
• Mechanism to continue system availability during cyber threat scenario

  2017cites this paper
• The Fuzzing Awakens: File Format-Aware Mutational Fuzzing on Smartphone Media Server Daemons

  2017cites this paper
• Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework

  2017cites this paper
• Redefining and Evaluating Coverage Criteria Based on the Testing Scope

  2016cites this paper
• Path Feasibility Analysis of BPEL Processes under Dead Path Elimination Semantics

  2016cites this paper
• Поиск некоторых типов ошибок работы с памятью в бинарном коде программ

  2015cites this paper
• Test Generation for Embedded Executables via Concolic Execution in a Real Environment

  2015cites this paper
• Online Taint Propagation Analysis with Precise Pointer-to Analysis for Detecting Bugs in Binaries

  2014cites this paper
• Sherlock: scalable deadlock detection for concurrent programs

  2014cites this paper
• Test Case Generation Assisted by Control Dependence Analysis

  2014cites this paper
• Directed Testing of Event-Driven and Parallel Programs

  2014cites this paper
• Race directed scheduling of concurrent programs

  2014cites this paper
• Automatic exploit generation

  2014cites this paper
• Directed Testing of Event-Driven and Parallel Programs

  2014cites this paper
• Automatic Malware Analysis

  2013cites this paper
• State of the art: Dynamic symbolic execution for automated test generation

  2013influential citation
• Analysis of Trigger Conditions and Hidden Behaviors

  2013cites this paper
• Techniques for Model Inference and Bug Finding

  2013cites this paper
• Debugging the Networked Car

  2013cites this paper
• Testing versus Static Analysis of Maximum Stack Size

  2013cites this paper
• Debugging the Networked Car Master of Science Thesis in Computer Systems and Networks

  2013cites this paper
• Efficient Model-based Fuzz Testing Using Higher-order Attribute Grammars

  2013cites this paper
• Design and implementation of a dynamic symbolic execution tool for windows executables

  2013cites this paper
• ARTISTE: Automatic Generation of Hybrid Data Structure Signatures from Binary Code Executions

  2012cites this paper
• Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities

  2012influential citation
• Network of Excellence Deliverable D9.3 Initial Prototypal Support for Security Assurance for Ser- vices

  2012cites this paper
• AEG: Automatic Exploit Generation

  2011cites this paper
• Finding protocol manipulation attacks

  2011cites this paper
• In-depth fuzz testing of IKE implementations

  2011cites this paper
• Efficient Directionless Weakest Preconditions

  2011influential citation
• Separating Information Protection from Resource Management

  2010cites this paper
• A Memory Model for Static Analysis of C Programs

  2010influential citation
• Satisfiability-based Program Reasoning and Program Synthesis

  2010cites this paper
• An Autonomic Testing Framework for IPv6 Configuration Protocols

  2010cites this paper
• Efficient Directionless Weakest Preconditions (CMU-CyLab-10-002)

  2010influential citation
• Deliverable D2.1 Closed loop fuzzing algorithms

  2010cites this paper
• Improving Fuzz Testing Using Game Theory

  2010cites this paper
• Spectral Fuzzing: Evaluation & Feedback

  2010cites this paper
• All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

  2010influential citation
• Symbolic security analysis of ruby-on-rails web applications

  2010cites this paper
• An Evolutionary Computing Approach for Hunting Buffer Overflow Vulnerabilities: A Case of Aiming in Dim Light

  2010cites this paper
• Grammar and model extraction for security applications using dynamic program binary analysis

  2010cites this paper
• Identifying and Eliminating Exploitable Software Bugs

  2009influential citation
• Property based coverage criterion

  2009cites this paper
• Extracting Models of Security-Sensitive Operations using String-Enhanced White-Box Exploration on Binaries

  2009cites this paper
• Improving the static resolution of dynamic java features

  2009cites this paper
• Malware detection and analysis via layered annotative execution

  2009cites this paper
• Active property checking

  2008cites this paper
• Software self-healing using error virtualization

  2008cites this paper
• Automatically Identifying Trigger-based Behavior in Malware

  2008influential citation
• Self-healing: science, engineering, and fiction

  2008cites this paper
• Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures

  2008cites this paper
• Analysis and defense of vulnerabilities in binary code

  2008cites this paper
• Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation

  2007cites this paper
• A Binary-Centric Approach to Vulnerability Analysis and Defense

  2007cites this paper
• Type-Dependence Analysis and Program Transformation for Symbolic Execution

  2007cites this paper
• BitScope: Automatically Dissecting Malicious Binaries

  2007cites this paper
• 1 Automatically Identifying Trigger-based Behavior in Malware

  2007cites this paper
• Automatically generating malicious disks using symbolic execution

  2006cites this paper