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