Symbolic execution and program testing

Cited In (86)

Symbolic execution formally explained
Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework
The application of hypergroups in symbolic executions and finite automata
CompoSAT: specification-guided coverage for model finding
Symbolic computation in Maude: some tapas
An efficient method to generate feasible paths for basis path testing
Algebraic program analysis
Concolic execution in functional programming by program instrumentation
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
A symbolic programming approach to the rendezvous search problem
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
Predicate abstraction in a program logic calculus
Combining test case generation and runtime verification
A unified integration and component testing approach from deterministic stream X-machine specifications
Recognizing malicious software behaviors with tree automata inference
Path Feasibility Analysis for String-Manipulating Programs
Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
Lindenmayer grammars and symbolic testing
Automated verification of functional correctness of race-free GPU programs
Scalable and precise refinement of cache timing analysis via path-sensitive verification
Symbolic execution based on language transformation
Symbolic execution of Reo circuits using constraint automata
Formal testing for separation assurance
Efficient symbolic analysis of programs
Testing data processing-oriented systems from stream X-machine models
Purging in an equality data base
Backward symbolic execution with loop folding
Concolic testing in logic programming
Gray-box monitoring of hyperproperties with an application to privacy
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
Performance estimation using symbolic data
Concolic testing in CLP
Calculational design of a regular model checker by abstract interpretation
Hierarchical development of programming languages
Certified abstract cost analysis
Collective assertions
Simple linear string constraints
A dynamic logic for deductive verification of multi-threaded programs
SAT-Based Model Checking
Automatic construction of test sets: Practical approach
A survey of satisfiability modulo theory
Learning register automata: from languages to program structures
Parallel program analysis via range splitting
Test Data Generation of Bytecode by CLP Partial Evaluation
Estimating the volume of solution space for satisfiability modulo linear real arithmetic
Introduction to model checking
An evaluation of the effectiveness of symbolic testing
Test case generation for object-oriented imperative languages in CLP
Title not available (Why is that?)
A generic framework for symbolic execution: a coinductive approach
Executing and verifying higher-order functional-imperative programs in Maude
Loop invariant symbolic execution for parallel programs
A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation
Correct approximation of IEEE 754 floating-point arithmetic for program verification
A unifying view on SMT-based software verification
JMLUnit: the next generation
Dashed strings for string constraint solving
Semantic subtyping with an SMT solver
TASS: the toolkit for accurate scientific software
Schematic program proofs with abstract execution. Theory and applications
Enhancing active model learning with equivalence checking using simulation relations
Stateful Behavioral Types for Active Objects
A CLP heap solver for test case generation
Sound symbolic execution via abstract interpretation and its application to security
Combining model checking and testing
Solving Not-Substring Constraint withFlat Abstraction
Symbolic runtime verification for monitoring under uncertainties and assumptions
Symbolic Execution as DPLL Modulo Theories
Title not available (Why is that?)
FLIC: application to caching of a dynamic dependency analysis for a 3D oriented CRS
Title not available (Why is that?)
Symbolic analysis of Maude theories with Narval
Quantum symbolic execution
Efficient protocol testing under temporal uncertain event using discrete-event network simulations
Precondition inference from intermittent assertions and application to contracts on collections
Model Checking MSVL Programs Based on Dynamic Symbolic Execution
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
Maximizing branch coverage with constrained Horn clauses
Abstract execution
Concolic testing heap-manipulating programs
On the nature of symbolic execution
Coverage-based testing with symbolic transition systems
A program logic for dependence analysis
Towards efficient data-flow test data generation
Symbolic semantics for probabilistic programs
An active learning approach to synthesizing program contracts

This page was built for publication: Symbolic execution and program testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4095837)