The following pages link to CUTE (Q12944):
Displayed 50 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Strategies for scalable symbolic execution-driven test generation for programs (Q350939) (← links)
- Formal testing for separation assurance (Q434444) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Test selection for traces refinement (Q481094) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- Decision procedures. An algorithmic point of view (Q518892) (← links)
- Not all bugs are created equal, but robust reachability can tell the difference (Q832220) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Symbolic computation via program transformation (Q1623144) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Machine learning steered symbolic execution framework for complex software code (Q2050084) (← links)
- Algorithm selection for dynamic symbolic execution: a preliminary study (Q2119113) (← links)
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Constraint programming for dynamic symbolic execution of JavaScript (Q2327235) (← links)
- CUTEst: a constrained and unconstrained testing environment with safe threads for mathematical optimization (Q2352415) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing (Q2482366) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- Behavioral interface specification languages (Q2875082) (← links)
- A new framework for the computation of Hessians (Q2885473) (← links)
- Sigma* (Q2931821) (← links)
- Runtime Exception Detection in Java Programs Using Symbolic Execution (Q2937545) (← links)
- Matching Multiplications in Bit-Vector Formulas (Q2961559) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- Efficient Loop Navigation for Symbolic Execution (Q3172934) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- On a trust region method without exact Jacobian matrices (Q3177538) (← links)
- Model Checking MSVL Programs Based on Dynamic Symbolic Execution (Q3196412) (← links)
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation (Q3303900) (← links)
- Symbolic Memory with Pointers (Q3457810) (← links)
- Protocol Inference Using Static Path Profiles (Q3522063) (← links)
- Path Feasibility Analysis for String-Manipulating Programs (Q3617764) (← links)
- A non-termination criterion for binary constraint logic programs (Q3621267) (← links)
- Curvilinear Linesearch for Tensor Methods (Q4442487) (← links)
- Concolic testing in logic programming (Q4593010) (← links)
- Collaborative Verification and Testing with Explicit Assumptions (Q4647837) (← links)
- Improving Symbolic Automata Learning with Concolic Execution (Q5039526) (← links)
- Application of the infinitely many times repeated BNS update and conjugate directions to limited-memory optimization methods (Q5116992) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
- (Q5269095) (← links)
- Beginner's luck: a language for property-based generators (Q5370850) (← links)
- An Introduction to Test Specification in FQL (Q5391520) (← links)
- Software Model Checking: Searching for Computations in the Abstract or the Concrete (Q5429306) (← links)
- SIPAMPL (Q5461184) (← links)
- A dwindling filter line search method for unconstrained optimization (Q5497020) (← links)
- Concolic Execution in Functional Programming by Program Instrumentation (Q5743599) (← links)