On the public citation graph

CUTE

0 signed · 1483 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.602openalex-snapshot

JCrasher: an automatic robustness tester for Java

inferredcites →https://doi.org/10.1007/11531142_22openalex-snapshot

Eclat: Automatic Generation and Classification of Test Inputs

inferredcites →https://doi.org/10.1007/11537328_2openalex-snapshot

Execution Generated Test Cases: How to Make Systems Code Crash Itself

inferredcites →https://doi.org/10.1007/3-540-36577-x_40openalex-snapshot

Generalized Symbolic Execution for Model Checking and Testing

inferredcites →https://doi.org/10.1007/3-540-45319-9_20openalex-snapshot

Finding Feasible Counter-examples when Model Checking Abstracted Java Programs

inferredcites →https://doi.org/10.1007/3-540-45937-5_16openalex-snapshot

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

inferredcites →https://doi.org/10.1007/978-3-540-27813-9_49openalex-snapshot

CVC Lite: A New Implementation of the Cooperating Validity Checker

inferredcites →https://doi.org/10.1007/978-3-540-31980-1_24openalex-snapshot

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

inferredcites →https://doi.org/10.1090/psapm/019/0242403openalex-snapshot

Correctness of a compiler for arithmetic expressions

inferredcites →https://doi.org/10.1109/ase.2000.873666openalex-snapshot

Generating test data for branch coverage

inferredcites →https://doi.org/10.1109/ase.2002.1115007openalex-snapshot

Generating test data for functions with pointer inputs

inferredcites →https://doi.org/10.1109/icsm.1990.131379openalex-snapshot

A dynamic approach of test data generation

inferredcites →https://doi.org/10.1145/1007512.1007526openalex-snapshot

Test input generation with java PathFinder

inferredcites →https://doi.org/10.1145/1062455.1062533openalex-snapshot

Check 'n' crash

inferredcites →https://doi.org/10.1145/1064978.1065036openalex-snapshot

DART

inferredcites →https://doi.org/10.1145/1065010.1065036openalex-snapshot

DART

inferredcites →https://doi.org/10.1145/1988042.1988046openalex-snapshot

QuickCheck

inferredcites →https://doi.org/10.1145/226295.226317openalex-snapshot

A semantic model of program faults

inferredcites →https://doi.org/10.1145/229000.226317openalex-snapshot

A semantic model of program faults

inferredcites →https://doi.org/10.1145/351240.351266openalex-snapshot

QuickCheck

inferredcites →https://doi.org/10.1145/503272.503279openalex-snapshot

Lazy abstraction

inferredcites →https://doi.org/10.1145/566171.566190openalex-snapshot

Generating finite state machines from abstract state machines

inferredcites →https://doi.org/10.1145/566171.566191openalex-snapshot

Korat

inferredcites →https://doi.org/10.1145/566172.566190openalex-snapshot

Generating finite state machines from abstract state machines

inferredcites →https://doi.org/10.1145/566172.566191openalex-snapshot

Korat

inferredcites →https://doi.org/10.1147/sj.223.0229openalex-snapshot

Automatic generation of random self-checking test cases

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4650660openalex-extracted

inferred← citeshttps://doi.org/10.1002/cpe.3156openalex-snapshot

JI.FI : Visual test and debug queries for hard real‐time

inferred← citeshttps://doi.org/10.1002/cpe.3532openalex-snapshot

CLORIFI: software vulnerability discovery using code clone verification

inferred← citeshttps://doi.org/10.1002/sec.714openalex-snapshot

Structurized grammar‐based fuzz testing for programs with highly structured inputs

inferred← citeshttps://doi.org/10.1002/smr.1601openalex-snapshot

Design and implementation of a dynamic symbolic execution tool for windows executables

inferred← citeshttps://doi.org/10.1002/smr.2158openalex-snapshot

Branch coverage prediction in automated testing

inferred← citeshttps://doi.org/10.1002/spe.1067openalex-snapshot

Adaptive random testing through test profiles

inferred← citeshttps://doi.org/10.1002/stvr.1501openalex-snapshot

Demand‐driven propagation‐based strategies for testing changes

inferred← citeshttps://doi.org/10.1002/stvr.1508openalex-snapshot

Search‐based testing using constraint‐based mutation

inferred← citeshttps://doi.org/10.1002/stvr.1527openalex-snapshot

Automatic test case evolution

inferred← citeshttps://doi.org/10.1002/stvr.1540openalex-snapshot

An efficient regression testing approach for PHP web applications: a controlled experiment

inferred← citeshttps://doi.org/10.1002/stvr.1547openalex-snapshot

RepOK‐based reduction of bounded exhaustive testing

inferred← citeshttps://doi.org/10.1002/stvr.1562openalex-snapshot

Directed test suite augmentation: an empirical investigation

inferred← citeshttps://doi.org/10.1002/stvr.1574openalex-snapshot

Cause reduction: delta debugging, even without bugs

inferred← citeshttps://doi.org/10.1002/stvr.1715openalex-snapshot

DEMINER : test generation for high test coverage through mutant exploration

inferred← citeshttps://doi.org/10.1002/stvr.1722openalex-snapshot

Memory models in symbolic execution: key ideas and new thoughts

inferred← citeshttps://doi.org/10.1002/stvr.1834openalex-snapshot

OS‐in‐the‐Loop verification for multi‐tasking control software

inferred← citeshttps://doi.org/10.1002/stvr.423openalex-snapshot

OSMOSE: automatic structural testing of executables

inferred← citeshttps://doi.org/10.1007/11589976_3openalex-snapshot

Software Model Checking: Searching for Computations in the Abstract or the Concrete

inferred← citeshttps://doi.org/10.1007/11691617_10openalex-snapshot

Symbolic Execution with Abstract Subsumption Checking

inferred← citeshttps://doi.org/10.1007/11693017_25openalex-snapshot

Automated Systematic Testing of Open Distributed Programs

inferred← citeshttps://doi.org/10.1007/11817963_38openalex-snapshot

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

inferred← citeshttps://doi.org/10.1007/978-0-387-39388-9_24openalex-snapshot

DynAlloy as a Formal Method for the Analysis of Java Programs

inferred← citeshttps://doi.org/10.1007/978-0-387-68768-1_4openalex-snapshot

Automatically Identifying Trigger-based Behavior in Malware

inferred← citeshttps://doi.org/10.1007/978-1-4614-5523-3_6openalex-snapshot

Analysis of Trigger Conditions and Hidden Behaviors

inferred← citeshttps://doi.org/10.1007/978-3-030-00009-7_26openalex-snapshot

The New Progress in the Research of Binary Vulnerability Exploits

inferred← citeshttps://doi.org/10.1007/978-3-030-00262-6_12openalex-snapshot

Security and Software Engineering

inferred← citeshttps://doi.org/10.1007/978-3-030-00801-7_11openalex-snapshot

Concolic Testing of Functional Logic Programs

inferred← citeshttps://doi.org/10.1007/978-3-030-01177-2_79openalex-snapshot

Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-02508-3_17openalex-snapshot

Symbolic Computation via Program Transformation

inferred← citeshttps://doi.org/10.1007/978-3-030-02807-7_1openalex-snapshot

Security and Trust Verification of IoT SoCs

inferred← citeshttps://doi.org/10.1007/978-3-030-03418-4_34openalex-snapshot

Tutorial: An Overview of Malware Detection and Evasion Techniques

inferred← citeshttps://doi.org/10.1007/978-3-030-03427-6_12openalex-snapshot

Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process

inferred← citeshttps://doi.org/10.1007/978-3-030-16722-6_3openalex-snapshot

Automatic Modeling of Opaque Code for JavaScript Static Analysis

inferred← citeshttps://doi.org/10.1007/978-3-030-19212-9_1openalex-snapshot

Constraint Programming for Dynamic Symbolic Execution of JavaScript

inferred← citeshttps://doi.org/10.1007/978-3-030-26250-1_27openalex-snapshot

Open Questions in Testing of Learned Computer Vision Functions for Automated Driving

inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_27openalex-snapshot

Concolic Testing Heap-Manipulating Programs

inferred← citeshttps://doi.org/10.1007/978-3-030-31157-5_12openalex-snapshot

Property-Based Test Case Generators for Free

inferred← citeshttps://doi.org/10.1007/978-3-030-31157-5_3openalex-snapshot

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

inferred← citeshttps://doi.org/10.1007/978-3-030-31585-6_8openalex-snapshot

AADD-Based Symbolic Simulation of SystemC AMS

inferred← citeshttps://doi.org/10.1007/978-3-030-37309-2_6openalex-snapshot

A Glance on Performance of Fitness Functions Toward Evolutionary Algorithms in Mutation Testing

inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_1openalex-snapshot

Improving Symbolic Automata Learning with Concolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-030-45237-7_27openalex-snapshot

Java Ranger at SV-COMP 2020 (Competition Contribution)

inferred← citeshttps://doi.org/10.1007/978-3-030-47147-7_4openalex-snapshot

How to Specify It!

inferred← citeshttps://doi.org/10.1007/978-3-030-53291-8_10openalex-snapshot

MetaVal: Witness Validation via Verification

inferred← citeshttps://doi.org/10.1007/978-3-030-58617-1_7openalex-snapshot

Actionable Program Analyses for Improving Software Performance

inferred← citeshttps://doi.org/10.1007/978-3-030-59025-3_13openalex-snapshot

An SMT-Based Concolic Testing Tool for Logic Programs

inferred← citeshttps://doi.org/10.1007/978-3-030-63406-3_7openalex-snapshot

Parallel Chopped Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-030-68446-4_10openalex-snapshot

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study

inferred← citeshttps://doi.org/10.1007/978-3-030-71500-7_16openalex-snapshot

Understanding Local Robustness of Deep Neural Networks under Natural Variations

inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_23openalex-snapshot

Sound and Complete Concolic Testing for Higher-order Functions

inferred← citeshttps://doi.org/10.1007/978-3-030-78621-2_41openalex-snapshot

Security Analysis of Blockchain Smart Contract: Taking Reentrancy Vulnerability as an Example

inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_1openalex-snapshot

NNrepair: Constraint-Based Repair of Neural Network Classifiers

inferred← citeshttps://doi.org/10.1007/978-3-030-89051-3_17openalex-snapshot

Solving Not-Substring Constraint withFlat Abstraction

inferred← citeshttps://doi.org/10.1007/978-3-030-89051-3_3openalex-snapshot

PyCT: A Python Concolic Tester

inferred← citeshttps://doi.org/10.1007/978-3-030-93956-4_11openalex-snapshot

Database Intrusion Detection Systems (DIDs): Insider Threat Detection via Behaviour-Based Anomaly Detection Systems - A Brief Survey of Concepts and Approaches

inferred← citeshttps://doi.org/10.1007/978-3-030-95391-1_13openalex-snapshot

TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance

inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_7openalex-snapshot

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_22openalex-snapshot

Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives

inferred← citeshttps://doi.org/10.1007/978-3-031-10363-6_15openalex-snapshot

Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs

inferred← citeshttps://doi.org/10.1007/978-3-031-19849-6_11openalex-snapshot

TriCo—Triple Co-piloting of Implementation, Specification and Tests

inferred← citeshttps://doi.org/10.1007/978-3-031-22057-9_13openalex-snapshot

Automatic Test Data Generation Symbolic and Concolic Executions

inferred← citeshttps://doi.org/10.1007/978-3-031-31476-6_10openalex-snapshot

SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications

inferred← citeshttps://doi.org/10.1007/978-3-031-40436-8_10openalex-snapshot

Towards Efficient Data-Flow Test Data Generation

inferred← citeshttps://doi.org/10.1007/978-3-031-44412-8openalex-snapshot

Ernst Denert Award for Software Engineering 2022

inferred← citeshttps://doi.org/10.1007/978-3-031-55608-1_6openalex-snapshot

Test Generation with PathCrawler

inferred← citeshttps://doi.org/10.1007/978-3-031-66676-6_8openalex-snapshot

Efficient Uniform Sampling of Traces in Presence of Infeasibilities

inferred← citeshttps://doi.org/10.1007/978-3-031-74127-2_6openalex-snapshot

A Non-Test Driver Concolic-Based Unit Testing Method for Java Projects

inferred← citeshttps://doi.org/10.1007/978-3-031-74776-2_16openalex-snapshot

ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers

inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_2openalex-snapshot

CUTECat: Concolic Execution for Computational Law

inferred← citeshttps://doi.org/10.1007/978-3-031-94578-6_2openalex-snapshot

Language-Based Testing for Knowledge Graphs

inferred← citeshttps://doi.org/10.1007/978-3-031-97492-2_1openalex-snapshot

Retrieving Unknown SMT Formulas via Structural Mutations

inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_8openalex-snapshot

Bounded-Exhaustive Subspace Diversification for SMT Solver Testing

inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_9openalex-snapshot

Abstracting Concolic Execution for Soft Contract Verification

inferred← citeshttps://doi.org/10.1007/978-3-032-09530-5_17openalex-snapshot

RDFMutate : Mutation-Based Generation of Knowledge Graphs

inferred← citeshttps://doi.org/10.1007/978-3-032-11176-0_1openalex-snapshot

Fuzz Testing with Temporal Constraints

inferred← citeshttps://doi.org/10.1007/978-3-032-22752-2_10openalex-snapshot

SMT(LIA) Sampling with High Diversity

inferred← citeshttps://doi.org/10.1007/978-3-319-02654-1_16openalex-snapshot

A Generic Framework for Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-319-03077-7_8openalex-snapshot

Modbat: A Model-Based API Tester for Event-Driven Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-07602-7_14openalex-snapshot

Using Daikon to Prioritize and Group Unit Bugs

inferred← citeshttps://doi.org/10.1007/978-3-319-10431-7_6openalex-snapshot

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations

inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_19openalex-snapshot

Combining Model Checking and Testing

inferred← citeshttps://doi.org/10.1007/978-3-319-11164-3_23openalex-snapshot

Dynamic Test Generation with Static Fields and Initializers

inferred← citeshttps://doi.org/10.1007/978-3-319-11194-0_12openalex-snapshot

Conpy: Concolic Execution Engine for Python Applications

inferred← citeshttps://doi.org/10.1007/978-3-319-11936-6_27openalex-snapshot

Symbolic Memory with Pointers

inferred← citeshttps://doi.org/10.1007/978-3-319-12241-0_11openalex-snapshot

Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-12736-1_4openalex-snapshot

Automatic Memory Management Based on Program Transformation Using Ownership

inferred← citeshttps://doi.org/10.1007/978-3-319-17822-6_10openalex-snapshot

Concolic Execution and Test Case Generation in Prolog

inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_4openalex-snapshot

Case Study: Automatic Test Case Generation for a Secure Cache Implementation

inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_6openalex-snapshot

Software Validation via Model Animation

inferred← citeshttps://doi.org/10.1007/978-3-319-21398-9_41openalex-snapshot

Model Checking MSVL Programs Based on Dynamic Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-319-22689-7_11openalex-snapshot

Automatic Test Data Generation Targeting Hybrid Coverage Criteria

inferred← citeshttps://doi.org/10.1007/978-3-319-22689-7_12openalex-snapshot

Optimization of Generated Test Data for MC/DC

inferred← citeshttps://doi.org/10.1007/978-3-319-23829-6_21openalex-snapshot

Control Flow Obfuscation Using Neural Network to Fight Concolic Testing

inferred← citeshttps://doi.org/10.1007/978-3-319-25945-1_5openalex-snapshot

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

inferred← citeshttps://doi.org/10.1007/978-3-319-26362-5_12openalex-snapshot

Improving Accuracy of Static Integer Overflow Detection in Binary

inferred← citeshttps://doi.org/10.1007/978-3-319-27436-2_17openalex-snapshot

Concolic Execution in Functional Programming by Program Instrumentation

inferred← citeshttps://doi.org/10.1007/978-3-319-27659-5_24openalex-snapshot

DroidTest: Testing Android Applications for Leakage of Private Information

inferred← citeshttps://doi.org/10.1007/978-3-319-29510-7_13openalex-snapshot

An Approach to Static-Dynamic Software Analysis

inferred← citeshttps://doi.org/10.1007/978-3-319-32345-9_10openalex-snapshot

TASMO: Automated Test Data Generation for Simulink Model Coverage

inferred← citeshttps://doi.org/10.1007/978-3-319-33630-5_15openalex-snapshot

Automated Source Code Instrumentation for Verifying Potential Vulnerabilities

inferred← citeshttps://doi.org/10.1007/978-3-319-40667-1_2openalex-snapshot

DeepFuzz: Triggering Vulnerabilities Deeply Hidden in Binaries

inferred← citeshttps://doi.org/10.1007/978-3-319-41591-8_1openalex-snapshot

Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems

inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_50openalex-snapshot

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions

inferred← citeshttps://doi.org/10.1007/978-3-319-52234-0_8openalex-snapshot

Matching Multiplications in Bit-Vector Formulas

inferred← citeshttps://doi.org/10.1007/978-3-319-58469-0_26openalex-snapshot

Combating Control Flow Linearization

inferred← citeshttps://doi.org/10.1007/978-3-319-59870-3_4openalex-snapshot

FFFuzzer: Filter Your Fuzz to Get Accuracy, Efficiency and Schedulability

inferred← citeshttps://doi.org/10.1007/978-3-319-60074-1_1openalex-snapshot

Probabilistic Program Analysis

inferred← citeshttps://doi.org/10.1007/978-3-319-61467-0_3openalex-snapshot

Symbolic Execution of Transition Systems with Function Summaries

inferred← citeshttps://doi.org/10.1007/978-3-319-63139-4_12openalex-snapshot

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

inferred← citeshttps://doi.org/10.1007/978-3-319-68670-7_11openalex-snapshot

A Brief Survey of Related Work

inferred← citeshttps://doi.org/10.1007/978-3-319-69715-4_7openalex-snapshot

Security Testing IoT Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-69811-3_37openalex-snapshot

Mocov: Model Based Fuzzing Through Coverage Guided Technology

inferred← citeshttps://doi.org/10.1007/978-3-319-70389-3_5openalex-snapshot

Trace-based Analysis of Memory Corruption Malware Attacks

inferred← citeshttps://doi.org/10.1007/978-3-319-70389-3_7openalex-snapshot

Software Verification: Testing vs. Model Checking

inferred← citeshttps://doi.org/10.1007/978-3-319-72814-8_3openalex-snapshot

A Symbolic Formulation for Models

inferred← citeshttps://doi.org/10.1007/978-3-319-72814-8_8openalex-snapshot

Re-utilizing Verification Results of UML/OCL Models

inferred← citeshttps://doi.org/10.1007/978-3-319-74313-4_16openalex-snapshot

Approximating Event System Abstractions by Covering Their States and Transitions

inferred← citeshttps://doi.org/10.1007/978-3-319-78813-5_12openalex-snapshot

Turing Obfuscation

inferred← citeshttps://doi.org/10.1007/978-3-319-89363-1_16openalex-snapshot

CRETE: A Versatile Binary-Level Concolic Testing Framework

inferred← citeshttps://doi.org/10.1007/978-3-319-89722-6_1openalex-snapshot

What’s the Over/Under? Probabilistic Bounds on Information Leakage

inferred← citeshttps://doi.org/10.1007/978-3-319-91662-0_7openalex-snapshot

Form Filling Based on Constraint Solving

inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_24openalex-snapshot

Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances

inferred← citeshttps://doi.org/10.1007/978-3-319-92994-1_1openalex-snapshot

Tests from Witnesses

inferred← citeshttps://doi.org/10.1007/978-3-319-92994-1_4openalex-snapshot

Under-Approximation Generation Driven by Relevance Predicates and Variants

inferred← citeshttps://doi.org/10.1007/978-3-319-93411-2_17openalex-snapshot

Symbolic Deobfuscation: From Virtualized Code Back to the Original

inferred← citeshttps://doi.org/10.1007/978-3-319-94460-9_6openalex-snapshot

Context Generation from Formal Specifications for C Analysis Tools

inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_28openalex-snapshot

Dynamic Symbolic Verification of MPI Programs

inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_34openalex-snapshot

CompoSAT: Specification-Guided Coverage for Model Finding

inferred← citeshttps://doi.org/10.1007/978-3-319-96142-2_27openalex-snapshot

Symbolic Liveness Analysis of Real-World Software

inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_6openalex-snapshot

Study of Integrating Random and Symbolic Testing for Object-Oriented Software

inferred← citeshttps://doi.org/10.1007/978-3-540-69166-2_6openalex-snapshot

Protocol Inference Using Static Path Profiles

inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_20openalex-snapshot

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement

inferred← citeshttps://doi.org/10.1007/978-3-540-70889-6_13openalex-snapshot

A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs

inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_11openalex-snapshot

Type-Dependence Analysis and Program Transformation for Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_27openalex-snapshot

Integrated Static Analysis for Linux Device Driver Verification

inferred← citeshttps://doi.org/10.1007/978-3-540-73589-2_13openalex-snapshot

Efficiently Generating Structurally Complex Inputs with Thousands of Objects

inferred← citeshttps://doi.org/10.1007/978-3-540-77966-7_16openalex-snapshot

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code

inferred← citeshttps://doi.org/10.1007/978-3-540-78800-3_27openalex-snapshot

RWset: Attacking Path Explosion in Constraint-Based Test Generation

inferred← citeshttps://doi.org/10.1007/978-3-540-79124-9_10openalex-snapshot

Pex–White Box Test Generation for .NET

inferred← citeshttps://doi.org/10.1007/978-3-540-85114-1_4openalex-snapshot

Using Dynamic Symbolic Execution to Improve Deductive Verification

inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_4openalex-snapshot

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_24openalex-snapshot

From Tests to Proofs

inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_25openalex-snapshot

Test Input Generation for Programs with Pointers

inferred← citeshttps://doi.org/10.1007/978-3-642-02652-2_14openalex-snapshot

Symbolic Analysis via Semantic Reinterpretation

inferred← citeshttps://doi.org/10.1007/978-3-642-02652-2_16openalex-snapshot

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_33openalex-snapshot

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models

inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_41openalex-snapshot

Reducing Test Inputs Using Information Partitions

inferred← citeshttps://doi.org/10.1007/978-3-642-05031-2_7openalex-snapshot

Interaction Coverage Meets Path Coverage by SMT Constraint Solving

inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_48openalex-snapshot

An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method

inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_4openalex-snapshot

Event Listener Analysis and Symbolic Execution for Testing GUI Applications

inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_5openalex-snapshot

An Empirical Study of Structural Constraint Solving Techniques

inferred← citeshttps://doi.org/10.1007/978-3-642-10452-7_17openalex-snapshot

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System

inferred← citeshttps://doi.org/10.1007/978-3-642-11145-7_16openalex-snapshot

Architecture- and OS-Independent Binary-Level Dynamic Test Generation

inferred← citeshttps://doi.org/10.1007/978-3-642-13977-2_8openalex-snapshot

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces

inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_43openalex-snapshot

Abstract Analysis of Symbolic Executions

inferred← citeshttps://doi.org/10.1007/978-3-642-14808-8_14openalex-snapshot

Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform

inferred← citeshttps://doi.org/10.1007/978-3-642-15497-3_5openalex-snapshot

IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time

inferred← citeshttps://doi.org/10.1007/978-3-642-16164-3_2openalex-snapshot

Symbolic Object Code Analysis

inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_11openalex-snapshot

Automatically Testing Web Services Choreography with Assertions

inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_34openalex-snapshot

Model Checking a Model Checker: A Code Contract Combined Approach

inferred← citeshttps://doi.org/10.1007/978-3-642-18070-5openalex-snapshot

Formal Verification of Object-Oriented Software

inferred← citeshttps://doi.org/10.1007/978-3-642-19583-9_5openalex-snapshot

An Introduction to Test Specification in FQL

inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_21openalex-snapshot

Retrofitting Unit Tests for Parameterized Unit Testing

inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_6openalex-snapshot

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-21515-5_18openalex-snapshot

PSO Based Pseudo Dynamic Method for Automated Test Case Generation Using Interpreter

inferred← citeshttps://doi.org/10.1007/978-3-642-21581-0_2openalex-snapshot

Concolic Testing and Constraint Satisfaction

inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_1openalex-snapshot

Checking Models, Proving Programs, and Testing Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_3openalex-snapshot

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs

inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_5openalex-snapshot

Association of Under-Approximation Techniques for Generating Tests from Models

inferred← citeshttps://doi.org/10.1007/978-3-642-21768-5_7openalex-snapshot

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging

inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_1openalex-snapshot

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection

inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_55openalex-snapshot

Practical, Low-Effort Equivalence Verification of Real Code

inferred← citeshttps://doi.org/10.1007/978-3-642-23702-7_11openalex-snapshot

Directed Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-23822-2_12openalex-snapshot

Linear Obfuscation to Combat Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-23854-3_36openalex-snapshot

Software Logical Structure Verification Method by Modeling Implemented Specification

inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_34openalex-snapshot

Efficient Loop Navigation for Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_5openalex-snapshot

Automated Analysis of Industrial Embedded Software

inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_24openalex-snapshot

Symbolic Execution of Alloy Models

inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_26openalex-snapshot

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques

inferred← citeshttps://doi.org/10.1007/978-3-642-25231-0_4openalex-snapshot

On the Integration of Software Testing and Formal Analysis

inferred← citeshttps://doi.org/10.1007/978-3-642-27705-4_23openalex-snapshot

Symbolic Execution Enhanced System Testing

inferred← citeshttps://doi.org/10.1007/978-3-642-28872-2_28openalex-snapshot

On the Danger of Coverage Directed Test Case Generation

inferred← citeshttps://doi.org/10.1007/978-3-642-28891-3_29openalex-snapshot

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-28891-3_33openalex-snapshot

CLSE: Closed-Loop Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-29578-2_9openalex-snapshot

FocalTest: A Constraint Programming Approach for Property-Based Testing

inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_2openalex-snapshot

Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables

inferred← citeshttps://doi.org/10.1007/978-3-642-30473-6_15openalex-snapshot

A Lesson on Structural Testing with PathCrawler-online.com

inferred← citeshttps://doi.org/10.1007/978-3-642-30793-5_10openalex-snapshot

Noninterference via Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-31057-7_18openalex-snapshot

Enhancing JavaScript with Transactions

inferred← citeshttps://doi.org/10.1007/978-3-642-31424-7_16openalex-snapshot

Diagnosing Abstraction Failure for Separation Logic–Based Analyses

inferred← citeshttps://doi.org/10.1007/978-3-642-31762-0_9openalex-snapshot

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode

inferred← citeshttps://doi.org/10.1007/978-3-642-32469-7_14openalex-snapshot

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_13openalex-snapshot

Collaborative Verification and Testing with Explicit Assumptions

inferred← citeshttps://doi.org/10.1007/978-3-642-33119-0_16openalex-snapshot

Boosting Search Based Testing by Using Constraint Based Testing

inferred← citeshttps://doi.org/10.1007/978-3-642-33125-1_18openalex-snapshot

Symbolic Learning of Component Interfaces

inferred← citeshttps://doi.org/10.1007/978-3-642-33308-8_22openalex-snapshot

Generating Test Data Using Symbolic Execution: Challenges with Floating Point Data Types

inferred← citeshttps://doi.org/10.1007/978-3-642-34188-5_19openalex-snapshot

Dynamic Test Data Generation for Data Intensive Applications

inferred← citeshttps://doi.org/10.1007/978-3-642-34531-9_17openalex-snapshot

Effective Test Case Generation via Concolic Execution

inferred← citeshttps://doi.org/10.1007/978-3-642-35746-6_2openalex-snapshot

From Program to Logic: An Introduction

showing the first 200 of 1457

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.