CUTE

swMATH177MaRDI QIDQ12944FDOQ12944

Author name not available (Why is that?)

Cited In (51)

• A new framework for the computation of Hessians
• A non-termination criterion for binary constraint logic programs
• CompoSAT: specification-guided coverage for model finding
• CUTEst: a constrained and unconstrained testing environment with safe threads for mathematical optimization
• An Introduction to Test Specification in FQL
• Test generation from event system abstractions to cover their states and transitions
• Constraint programming for dynamic symbolic execution of JavaScript
• Not all bugs are created equal, but robust reachability can tell the difference
• Runtime Exception Detection in Java Programs Using Symbolic Execution
• Concolic Testing in CLP
• Automation of broad sanity test generation
• Algorithm selection for dynamic symbolic execution: a preliminary study
• Symbolic computation via program transformation
• Path Feasibility Analysis for String-Manipulating Programs
• Application of the infinitely many times repeated BNS update and conjugate directions to limited-memory optimization methods
• Association of Under-Approximation Techniques for Generating Tests from Models
• A dwindling filter line search method for unconstrained optimization
• Symbolic execution based on language transformation
• Protocol Inference Using Static Path Profiles
• Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
• Formal testing for separation assurance
• Title not available (Why is that?)
• Symbolic Memory with Pointers
• Model Checking Software
• Curvilinear Linesearch for Tensor Methods
• Observations in using parallel and sequential evolutionary algorithms for automatic software testing
• Concolic testing in logic programming
• Behavioral interface specification languages
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Matching Multiplications in Bit-Vector Formulas
• SIPAMPL
• LCTD: test-guided proofs for C programs on LLVM
• Sigma*
• Software Model Checking: Searching for Computations in the Abstract or the Concrete
• Beginner's luck: a language for property-based generators
• Test selection for traces refinement
• Efficient Loop Navigation for Symbolic Execution
• Automata-based symbolic string analysis for vulnerability detection
• Integration of verification methods for program systems
• Strategies for scalable symbolic execution-driven test generation for programs
• Improving Symbolic Automata Learning with Concolic Execution
• Combining Model Checking and Testing
• On a trust region method without exact Jacobian matrices
• A generic framework for symbolic execution: a coinductive approach
• Executing and verifying higher-order functional-imperative programs in Maude
• Mechanized semantics for the clight subset of the C language
• Collaborative Verification and Testing with Explicit Assumptions
• Model Checking MSVL Programs Based on Dynamic Symbolic Execution
• Concolic Execution in Functional Programming by Program Instrumentation
• Machine learning steered symbolic execution framework for complex software code
• Decision procedures. An algorithmic point of view

This page was built for software: CUTE