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