CUTE: a concolic unit testing engine for C

No abstract is available for this paper.

• Publication year

  2005

• Venue

  ESEC/FSE-13

• Publication date

  2005-09-05

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1081706.1081750
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• DART: directed automated random testing

  2005influential reference
• Eclat: Automatic Generation and Classification of Test Inputs

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

  2005influential reference
• Execution Generated Test Cases: How to Make Systems Code Crash Itself

  2005influential reference
• Check 'n' crash: combining static checking and testing

  2005cited by this paper
• Rostra: a framework for detecting redundant object-oriented unit tests

  2004cited by this paper
• Generating tests from counterexamples

  2004cited by this paper
• JCrasher: an automatic robustness tester for Java

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

  2004influential reference
• CVC Lite: A New Implementation of the Cooperating Validity Checker Category B

  2004cited by this paper
• Abstraction-guided Test Generation: A Case Study

  2003cited 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
• CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

  2002influential reference
• Korat: automated testing based on Java predicates

  2002influential reference
• Generating finite state machines from abstract state machines

  2002cited by this paper
• Generating test data for functions with pointer inputs

  2002influential reference
• Lazy abstraction

  2002cited by this paper
• Finding Feasible Counter-examples when Model Checking Abstracted Java Programs

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

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

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

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

  1996cited 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
• Correctness of a compiler for arithmetic expressions

  1966cited by this paper

• SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation

  2026cites this paper
• Type Region Model and Its Application in Program Static Detection

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

  2026cites this paper
• From Transactions to Exploits: Automated PoC Synthesis for Real-World DeFi Attacks

  2026cites this paper
• LogicEnvGen: Task-Logic Driven Generation of Diverse Simulated Environments for Embodied AI

  2026cites this paper
• Combining Tests and Proofs for Better Software Verification

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

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

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

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

  2025cites this paper
• Large Language Model Powered Symbolic Execution

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

  2025cites this paper
• Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis

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

  2025cites this paper
• OptSE: Toward Optimal Symbolic Execution

  2025cites this paper
• Automated Testing of COBOL to Java Transformation

  2025cites this paper
• Abstracting Concolic Execution for Soft Contract Verification

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

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

  2025cites this paper
• Blended Analysis for Predictive Execution

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

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

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

  2025cites this paper
• Resolving Indirect Calls in Binary Code via Cross-Reference Augmented Graph Neural Networks

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

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

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

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

  2025cites this paper
• Testora: Using Natural Language Intent to Detect Behavioral Regressions

  2025cites this paper
• Hamster: A Large-Scale Study and Characterization of Developer-Written Tests

  2025cites this paper
• Improving test suite generation quality through machine learning-driven boundary value analysis

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

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

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

  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
• Optimal Test Case Selection for On-Target Embedded Testing

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

  2025cites this paper
• Honeypot-Driven Decoy Block Vulnerability Obfuscation: A Structured Framework for Software Protection Against Symbolic Execution Attacks

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

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

  2025cites this paper
• Sockeye: a language for analyzing hardware documentation

  2025cites this paper
• Optimal Concolic Dynamic Partial Order Reduction

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

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

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

  2025cites this paper
• A transformer-based framework for software vulnerability detection using attention-driven convolutional neural networks

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

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

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

  2025cites this paper
• Efficient Symbolic Execution of Software under Fault Attacks

  2025cites this paper
• Comparative Evaluation of Large Language Models for Test-Skeleton Generation

  2025cites this paper
• Feature-Centric Approaches to Android Malware Analysis: A Survey

  2025cites this paper
• FANDANGO: Evolving Language-Based Testing

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

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

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

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

  2025cites this paper
• The Shapes of Abstraction in Data Structure Diagrams

  2025cites this paper
• Fuzz Testing with Temporal Constraints

  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
• Unified and Split Symbolic Execution for Exposing Semantic Differences

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

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

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

  2025cites this paper
• Models for formal methods and tools: the case of railway systems

  2025cites this paper
• Marco: A Stochastic Asynchronous Concolic Explorer

  2024cites this paper
• Concolic Testing of Quantum Programs

  2024influential citation
• Large Language Model assisted Hybrid Fuzzing

  2024cites this paper
• BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks

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

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

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

  2024cites this paper
• APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration

  2024cites this paper
• Automated Hybrid Fuzzing of Web APIs

  2024cites this paper
• Define-Use Guided Path Exploration for Better Forced Execution

  2024cites this paper
• Retrieval-Augmented Test Generation: How Far Are We?

  2024cites this paper
• Software Security Analysis in 2030 and Beyond: A Research Roadmap

  2024cites this paper
• BACKRUNNER: Mitigating Smart Contract Attacks in the Real World

  2024cites this paper
• Formal Methods in Industry

  2024cites this paper
• Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

  2024cites this paper
• ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks

  2024cites this paper
• Data Coverage for Guided Fuzzing

  2024cites this paper
• Path-optimal symbolic execution of heap-manipulating programs

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

  2024cites this paper
• ASTER: Natural and Multi-Language Unit Test Generation with LLMs

  2024cites this paper
• CUTECat: Concolic Execution for Computational Law

  2024influential citation
• Automated test data generation and stubbing method for C/C++ embedded projects

  2024influential citation
• Quantitative Robustness for Vulnerability Assessment

  2024cites this paper
• Quantum Concolic Testing

  2024influential citation
• BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics

  2024cites this paper
• Program Environment Fuzzing

  2024cites this paper
• Concolic Testing of JavaScript using Sparkplug

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

  2024cites this paper
• CriticalFuzz: A critical neuron coverage-guided fuzz testing framework for deep neural networks

  2024cites this paper
• WeBridge: Synthesizing Stored Procedures for Large-Scale Real-World Web Applications

  2024influential citation
• Automatically Reasoning About How Systems Code Uses the CPU Cache

  2024cites this paper
• SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution

  2024cites this paper
• Automatic unit test generator software by collecting run-time data

  2024cites this paper
• SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures

  2024cites this paper