Pex
From MaRDI portal
Software:19312
No author found.
Related Items (25)
URSA: A System for Uniform Reduction to SAT ⋮ A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest ⋮ Efficient Loop Navigation for Symbolic Execution ⋮ Combining Model Checking and Testing ⋮ Symbolic Memory with Pointers ⋮ Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ Executing and verifying higher-order functional-imperative programs in Maude ⋮ A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings ⋮ Formal testing for separation assurance ⋮ Discovering invariants via simple component analysis ⋮ Test generation from event system abstractions to cover their states and transitions ⋮ On theorem prover-based testing ⋮ Test selection for traces refinement ⋮ A generic framework for symbolic execution: a coinductive approach ⋮ Collaborative Verification and Testing with Explicit Assumptions ⋮ Symbolic execution based on language transformation ⋮ An efficient SMT solver for string constraints ⋮ Test case generation for object-oriented imperative languages in CLP ⋮ Interleaving Symbolic Execution and Partial Evaluation ⋮ Static Contract Checking with Abstract Interpretation ⋮ Path Feasibility Analysis for String-Manipulating Programs ⋮ An Evaluation of Automata Algorithms for String Analysis ⋮ Machine learning steered symbolic execution framework for complex software code ⋮ Integration of verification methods for program systems ⋮ Algorithm selection for dynamic symbolic execution: a preliminary study
This page was built for software: Pex
