Fitness-guided path exploration in dynamic symbolic execution

No abstract is available for this paper.

• Publication year

  2009

• Venue

  2009 IEEE/IFIP International Conference on Dependable Systems & Networks

• Publication date

  2009-09-29

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/DSN.2009.5270315
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automating Software Testing Using Program Analysis

  2008cited by this paper
• Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution

  2008cited by this paper
• Heuristics for Scalable Dynamic Test Generation

  2008cited by this paper
• RWset: Attacking Path Explosion in Constraint-Based Test Generation

  2008cited by this paper
• Pex-White Box Test Generation for .NET

  2008cited by this paper
• Demand-Driven Compositional Symbolic Execution

  2008cited by this paper
• Automated Whitebox Fuzz Testing

  2008cited by this paper
• ARTOO

  2008cited by this paper
• JPF-SE: A Symbolic Execution Extension to Java PathFinder

  2007cited by this paper
• Compositional dynamic test generation

  2007cited by this paper
• Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs

  2007cited by this paper
• Feedback-Directed Random Test Generation

  2007cited by this paper
• Hybrid Concolic Testing

  2007cited by this paper
• Preliminary design of JML: a behavioral interface specification language for java

  2006cited by this paper
• EXE: automatically generating inputs of death

  2006influential reference
• DART: directed automated random testing

  2005influential reference
• Parameterized unit tests

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

  2005influential reference
• A unified fitness function calculation rule for flag conditions to improve evolutionary testing

  2005cited by this paper
• Evolutionary testing of classes

  2004cited by this paper
• Search‐based software test data generation: a survey

  2004cited by this paper
• Model checking Java programs using structural heuristics

  2002cited by this paper
• Model checking programs

  2000cited by this paper
• Automated program flaw finding using simulated annealing

  1998cited by this paper
• 物件導向軟體之架構(Object-Oriented Software Construction)探討

  1989cited by this paper
• Symbolic execution and program testing

  1976cited by this paper
• A System to Generate Test Data and Symbolically Execute Programs

  1976cited by this paper

• Keep It Simple: Self-Adaptive Code Graph Simplification for Accurate Vulnerability Detection

  2025cites this paper
• Research on Cross-Project Vulnerability Detection Method for Open Source Software

  2025cites this paper
• Which Inputs Trigger My Patch?

  2025cites this paper
• Vulnerability detection with Graph Attention Network and Metric Learning

  2025cites this paper
• OptSE: Toward Optimal Symbolic Execution

  2025cites this paper
• NexuSym: Marrying symbolic path finders with large language models

  2025cites this paper
• Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch

  2025cites this paper
• Deterministic state space exploration

  2025cites this paper
• Only less labeled: How to learn representations from multi-domain

  2025cites this paper
• Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models

  2025cites this paper
• FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution

  2024cites this paper
• The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation

  2024cites this paper
• A comparison of quantum compilers using a DAG-based or phase polynomial-based intermediate representation

  2024cites this paper
• Dynamic Neural Control Flow Execution: an Agent-Based Deep Equilibrium Approach for Binary Vulnerability Detection

  2024cites this paper
• Symbolic execution of floating-point programs: How far are we?

  2024cites this paper
• Vulnerability detection based on federated learning

  2024cites this paper
• Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries

  2023cites this paper
• Guiding Symbolic Execution with A-Star

  2023cites this paper
• Source Code Implied Language Structure Abstraction through Backward Taint Analysis

  2023cites this paper
• AURC: Detecting Errors in Program Code and Documentation

  2023cites this paper
• Exhaustive Branch Coverage with TreeFrog

  2023cites this paper
• CPVD: Cross Project Vulnerability Detection Based on Graph Attention Network and Domain Adaptation

  2023cites this paper
• TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing

  2023cites this paper
• Static vulnerability detection based on class separation

  2023cites this paper
• Symbolic Execution of Floating-point Programs: How far are we?

  2022cites this paper
• Acquirer: A Hybrid Approach to Detecting Algorithmic Complexity Vulnerabilities

  2022cites this paper
• Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization

  2022cites this paper
• Baton: symphony of random testing and concolic testing through machine learning and taint analysis

  2022cites this paper
• Cerberus : Query-driven Scalable Security Checking for OAuth Service Provider Implementations

  2022cites this paper
• Random or heuristic? An empirical study on path search strategies for test generation in KLEE

  2022cites this paper
• TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving

  2022cites this paper
• Meissa: scalable network testing for programmable data planes

  2022cites this paper
• PROMAL: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning

  2022cites this paper
• WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software

  2022cites this paper
• Grammar-agnostic symbolic execution by token symbolization

  2021cites this paper
• Learning to Explore Paths for Symbolic Execution

  2021influential citation
• SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning

  2021cites this paper
• Accelerating Symbolic Analysis for Android Apps

  2021cites this paper
• Towards exhaustive branch coverage with PathCrawler

  2021cites this paper
• LChecker: Detecting Loose Comparison Bugs in PHP

  2021cites this paper
• Deep Learning-Based Hybrid Fuzz Testing

  2021cites this paper
• Specify and measure, cover and reveal: A unified framework for automated test generation

  2021cites this paper
• OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary

  2021cites this paper
• CPscan: Detecting Bugs Caused by Code Pruning in IoT Kernels

  2021cites this paper
• Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations

  2021cites this paper
• A Systematic Review of Search Strategies in Dynamic Symbolic Execution

  2020cites this paper
• SHFuzz: Selective Hybrid Fuzzing with Branch Scheduling Based on Binary Instrumentation

  2020cites this paper
• Scalable Greybox Fuzzing for Effective Vulnerability Management

  2020cites this paper
• Automatic Buffer Overflow Warning Validation

  2020cites this paper
• Precisely Characterizing Security Impact in a Flood of Patches via Symbolic Rule Comparison

  2020cites this paper
• HyDiff: Hybrid Differential Software Analysis

  2020cites this paper
• VerX: Safety Verification of Smart Contracts

  2020cites this paper
• Fitness-guided Resilience Testing of Microservice-based Applications

  2020cites this paper
• Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs

  2020cites this paper
• Efficient Multiplex Symbolic Execution with Adaptive Search Strategy

  2020cites this paper
• Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing

  2019cites this paper
• Efficient concolic testing of MPI applications

  2019cites this paper
• Facilitating program performance profiling via evolutionary symbolic execution

  2019cites this paper
• DEMINER: test generation for high test coverage through mutant exploration

  2019cites this paper
• Fine-Grain Memory Object Representation in Symbolic Execution

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

  2019cites this paper
• Locating vulnerabilities in binaries via memory layout recovering

  2019cites this paper
• REINAM: reinforcement learning for input-grammar inference

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

  2019cites this paper
• Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics

  2019cites this paper
• Perspectives on search strategies in automated test input generation

  2019influential citation
• FSCT: A new fuzzy search strategy in concolic testing

  2019cites this paper
• Dynamic Symbolic Execution with Descriptive and Prescriptive Relations

  2019cites this paper
• Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences

  2019cites this paper
• NeuralTaint: A Key Segment Marking Tool Based on Neural Network

  2019cites this paper
• XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions

  2019cites this paper
• Security and Software Engineering

  2019cites this paper
• Handling Backtracking for Symbolic Testing of Embedded Software

  2019cites this paper
• SLF: Fuzzing without Valid Seed Inputs

  2019cites this paper
• Towards Efficient Data-flow Test Data Generation

  2018influential citation
• Improving readability in automatic unit test generation

  2018cites this paper
• The Art, Science, and Engineering of Fuzzing: A Survey

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

  2018cites this paper
• Template-Guided Concolic Testing via Online Learning

  2018cites this paper
• Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric

  2018cites this paper
• Towards Optimal Concolic Testing

  2018cites this paper
• Search-based detection of deviation failures in the migration of legacy spreadsheet applications

  2018cites this paper
• Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

  2018influential citation
• Bayes-TDG: effective test data generation using Bayesian belief network: toward failure-detection effectiveness and maximum coverage

  2018cites this paper
• Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation

  2018cites this paper
• Symbolic Verification of Regular Properties

  2018cites this paper
• Automatically Generating Search Heuristics for Concolic Testing

  2018cites this paper
• Fuzzing: Art, Science, and Engineering

  2018cites this paper
• Boost Symbolic Execution Using Dynamic State Merging and Forking

  2018cites this paper
• Worst-Case Execution Time Testing via Evolutionary Symbolic Execution

  2018cites this paper
• Chopped Symbolic Execution

  2018cites this paper
• Loop Path Reduction by State Pruning

  2018cites this paper
• Path reduction of multiple test points in dynamic symbolic execution

  2017cites this paper
• Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging

  2017cites this paper
• Applying Binary Patch Comparison to Cisco IOS

  2017cites this paper
• Heuristic Guided Selective Path Exploration for Loop Structure in Coverage Testing

  2017cites this paper
• pbSE: Phase-Based Symbolic Execution

  2017cites this paper
• Mining, Understanding and Integrating User Preferences in Software Refactoring Using Computational Search, Machine Learning, and Dimensionality Reduction

  2017cites this paper
• Quantitative Analysis of Exploration Schedules for Symbolic Execution

  2017cites this paper
• AN ABSTRACT OF THE DISSERTATION OF

  2017cites this paper