DART: directed automated random testing

No abstract is available for this paper.

• Publication year

  2005

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2005-06-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1065010.1065036
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Binary rewriting and call interception for efficient runtime protection against buffer overflows

  2006cited by this paper
• ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

  2006influential reference
• Synthesis of interface specifications for Java classes

  2005cited by this paper
• Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

  2005cited by this paper
• Precise interprocedural analysis using random interpretation

  2005cited by this paper
• Check 'n' crash: combining static checking and testing

  2005cited by this paper
• Generating tests from counterexamples

  2004cited by this paper
• Test input generation with java PathFinder

  2004cited by this paper
• Continuous testing in Eclipse

  2004cited by this paper
• Exploring very large state spaces using genetic algorithms

  2004influential reference
• Automatic extraction of object-oriented component interfaces

  2002cited by this paper
• CCured: type-safe retrofitting of legacy code

  2002cited by this paper
• Lazy abstraction

  2002cited by this paper
• Korat: automated testing based on Java predicates

  2002cited by this paper
• Domain partitioning for open reactive systems

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

  2002influential reference
• A system and language for building system-specific, static analyses

  2002cited by this paper
• A Survey on Automatic Test Data Generation

  2002cited by this paper
• The economic impacts of inadequate infrastructure for software testing

  2002cited by this paper
• The SLAM Toolkit

  2001cited by this paper
• An empirical study of the robustness of Windows NT applications using random testing

  2000cited by this paper
• Generating test data for branch coverage

  2000cited by this paper
• QuickCheck: a lightweight tool for random testing of Haskell programs

  2000cited by this paper
• Automatically closing open reactive programs

  1998influential reference
• Model checking for programming languages using VeriSoft

  1997cited by this paper
• A semantic model of program faults

  1996cited by this paper
• Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

  1996cited by this paper
• An Attack on the Needham-Schroeder Public-Key Authentication Protocol

  1995influential reference
• Fast detection of memory leaks and access errors

  1991cited by this paper
• A dynamic approach of test data generation

  1990cited by this paper
• Automatic Generation of Random Self-Checking Test Cases

  1983cited by this paper
• Art of Software Testing

  1979cited by this paper
• Lint, a C Program Checker

  1978cited by this paper
• Using encryption for authentication in large networks of computers

  1978cited by this paper
• Symbolic execution and program testing

  1976cited by this paper

• Enhancing LLM-Based Test Generation by Eliminating Covered Code

  2026cites this paper
• ARC: Compiling Hundreds of Requirement Scenarios into A Runnable Web System

  2026cites this paper
• Efficient Planning in Reinforcement Learning via Model Introspection

  2026cites this paper
• Hybrid Concolic Testing with Large Language Models for Guided Path Exploration

  2026cites this paper
• Patch-to-PoC: A Systematic Study of Agentic LLM Systems for Linux Kernel N-Day Reproduction

  2026cites this paper
• Identifying Critical Failure Chains for Resilience in Cyber-Physical Systems using Symbolic Execution

  2026cites this paper
• Automatically Engineering Trusted Software: A Research Roadmap

  2026cites this paper
• Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation

  2026cites this paper
• SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation

  2026cites this paper
• Compiler Optimization-Based SMT Simplifications: An In-Depth Study

  2026cites this paper
• Just-in-Time Catching Test Generation at Meta

  2026cites this paper
• GPU-Fuzz: Finding Memory Errors in Deep Learning Frameworks

  2026cites this paper
• Fixturize: Bridging the Fixture Gap in Test Generation

  2026cites this paper
• S2F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling

  2026cites this paper
• LLM-Driven Automated Generation of Formal Specifications for C Programs

  2025cites this paper
• PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage

  2025cites this paper
• Improving Training Data Quality for Automated Test Case Generation Using Machine Learning and Its Evaluation

  2025cites this paper
• Spinner: Detecting Locking Violations in the eBPF Runtime

  2025cites this paper
• Reference-Based Retrieval-Augmented Unit Test Generation

  2025cites this paper
• Large Language Models for Unit Test Generation: Achievements, Challenges, and Opportunities

  2025cites this paper
• Automated Exploit Generation for Node.js Packages

  2025cites this paper
• MACHINE LEARNING APPROACHES FOR AUTOMATIC TEST CASE GENERATION FROM REQUIREMENTS

  2025cites this paper
• Hallucination to Consensus: Multi-Agent LLMs for End-to-End Test Generation with Accurate Oracles

  2025cites this paper
• Cerberus: Multi-Agent Reasoning and Coverage-Guided Exploration for Static Detection of Runtime Errors

  2025cites this paper
• ColorGo: Directed Concolic Execution

  2025cites this paper
• Automated property-based testing from AADL component contracts

  2025cites this paper
• ROR-DSE: ROR adequate test case generation using dynamic symbolic execution

  2025cites this paper
• Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)

  2025cites this paper
• Fuzz4Cuda: Fuzzing your NVIDIA GPU libraries through debug interface

  2025cites this paper
• Nexus: Execution-Grounded Multi-Agent Test Oracle Synthesis

  2025influential citation
• Intelligent Dynamic Code Analysis using Large Language Models

  2025cites this paper
• OptionFuzz: Fuzzing SMT Solvers with Optimized Option Exploration via Large Language Models

  2025cites this paper
• COTIA: Concolic Testing with Intelligent Agent

  2025cites this paper
• Software Model Checking via Summary-Guided Search

  2025influential citation
• Hamster: A Large-Scale Study and Characterization of Developer-Written Tests

  2025cites this paper
• TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models

  2025cites this paper
• Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach

  2025cites this paper
• On the Energy Footprint of Using a Small Language Model for Unit Test Generation

  2025cites this paper
• UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions

  2025cites this paper
• LLM-assisted Path Exploration for RTL Verification

  2025cites this paper
• BOSQTGEN: Breaking the Sound Barrier in Test Generation

  2025cites this paper
• Symbolic execution for refuting ∀∃ hyperproperties

  2025cites this paper
• High-Throughput SAT Sampling

  2025cites this paper
• SMT(LIA) Sampling with High Diversity

  2025cites this paper
• Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges

  2025influential citation
• Compositional symbolic execution semantics

  2025cites this paper
• Empc: Effective Path Prioritization for Symbolic Execution with Path Cover

  2025cites this paper
• AI-Powered Unit Test Generation via Multi-LLM Chaining: A Case Study With GPT-4o, Gemini, and Claude-3.5

  2025cites this paper
• Adaptive Symbolic Reasoning and Reinforcement Learning for Dynamic Network Traffic Classification

  2025cites this paper
• Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving

  2025cites this paper
• Generating Inputs for Grammar Mining using Dynamic Symbolic Execution

  2025cites this paper
• Optimal Test Case Selection for On-Target Embedded Testing

  2025cites this paper
• Fuzz Testing with Temporal Constraints

  2025cites this paper
• Extremal Testing for Network Software using LLMs

  2025cites this paper
• HF-DGF: Hybrid Feedback Guided Directed Grey-box Fuzzing

  2025cites this paper
• Optimal Concolic Dynamic Partial Order Reduction

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

  2025cites this paper
• RuDyna: Towards A Dynamic Analysis Framework for Rust

  2025cites this paper
• Automated Test Generation from Program Documentation Encoded in Code Comments

  2025cites this paper
• ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement

  2025cites this paper
• Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact)

  2025cites this paper
• Intention-Driven Generation of Project-Specific Test Cases

  2025cites this paper
• DynamicFuzz: Confidence-based directed greybox fuzzing for programs with unreliable call graphs

  2025cites this paper
• Blended Analysis for Predictive Execution

  2025cites this paper
• Critical Variable State-Aware Directed Greybox Fuzzing

  2025cites this paper
• Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

  2025cites this paper
• PALM: Path-aware LLM-based Test Generation with Comprehension

  2025cites this paper
• An Automated Identification Method for Controllable Memory-Related Fields in Proof-of-Concept Code

  2025cites this paper
• Formal Verification of Neural Certificates Done Dynamically

  2025cites this paper
• PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths

  2025cites this paper
• Black-Box Bug-Amplification for Multithreaded Software

  2025cites this paper
• TestLoter: A logic-driven framework for automated unit test generation and error repair using large language models

  2025cites this paper
• Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

  2025cites this paper
• Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures

  2025cites this paper
• Understanding Inconsistent State Update Vulnerabilities in Smart Contracts

  2025cites this paper
• Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis

  2025cites this paper
• Hallucination to Consensus: Multi-Agent LLMs for End-to-End Test Generation

  2025cites this paper
• MIO: Multiverse Debugging in the Face of Input/Output

  2025cites this paper
• On Extending Incorrectness Logic with Backwards Reasoning

  2025cites this paper
• Retrospective on: Constraint-Based Automatic Test Data Generation

  2025cites this paper
• When You Have a Fuzzer, Everything Looks Like a Reachability Problem

  2025cites this paper
• Malware Analysis: A Perspective from Dynamic Symbolic Execution of Binary Code

  2025cites this paper
• Attacker Control and Bug Prioritization

  2025cites this paper
• Bennet: Randomized Specification Testing for Heap-Manipulating Programs

  2025cites this paper
• Treefix: Enabling Execution with a Tree of Prefixes

  2025cites this paper
• CherryPicker: A Parallel Solving and State Sharing Hybrid Fuzzing System

  2025cites this paper
• SoK: Towards Effective Automated Vulnerability Repair

  2025cites this paper
• Making effective carbon-box testing technique using prioritised-selected test cases driven combinatorial approach

  2025cites this paper
• LLM-enhanced evolutionary test generation for untyped languages

  2025cites this paper
• Towards Effective Guidance of Smart Contract Fuzz Testing Based on Static Analysis

  2025cites this paper
• Type-aware LLM-based Regression Test Generation for Python Programs

  2025cites this paper
• cozy: Comparative Symbolic Execution for Binary Programs

  2025cites this paper
• Language-Based Testing for Knowledge Graphs

  2025cites this paper
• Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing

  2025cites this paper
• Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs via Value Inference

  2025cites this paper
• Large Language Model Powered Symbolic Execution

  2025cites this paper
• OptSE: Toward Optimal Symbolic Execution

  2025influential citation
• Kotsuite: Unit Test Generation for Kotlin Programs in Android Applications

  2025cites this paper
• A Survey of Software Dynamic Analysis Methods

  2024cites this paper
• Concolic Testing of JavaScript using Sparkplug

  2024cites this paper