Cited in
(only showing first 100 items - show all)- CD2Alloy
- cddiff
- CompoSAT
- VERMEER
- Whispec
- WhyLine
- JaCoCo
- Con2colic
- QSYM
- SOBER
- Concolic testing in CLP
- SIPAMPL
- LCTD: test-guided proofs for C programs on LLVM
- Sigma*
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Application of the infinitely many times repeated BNS update and conjugate directions to limited-memory optimization methods.
- Beginner's luck: a language for property-based generators
- Test selection for traces refinement
- StarFinder
- RHLE Benchmarks
- Integration of verification methods for program systems
- Automata-based symbolic string analysis for vulnerability detection
- Strategies for scalable symbolic execution-driven test generation for programs
- A modified limited-memory BNS method for unconstrained minimization derived from the conjugate directions idea.
- Improving Symbolic Automata Learning with Concolic Execution
- 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
- Model Checking MSVL Programs Based on Dynamic Symbolic Execution
- Machine learning steered symbolic execution framework for complex software code
- Decision procedures. An algorithmic point of view
- Association of under-approximation techniques for generating tests from models
- Symbolic memory with pointers
- Connecting program synthesis and reachability: automatic program repair using test-input generation
- A new framework for the computation of Hessians
- CompoSAT: specification-guided coverage for model finding
- A non-termination criterion for binary constraint logic programs
- CUTEst: a constrained and unconstrained testing environment with safe threads for mathematical optimization
- Test generation from event system abstractions to cover their states and transitions
- Not all bugs are created equal, but robust reachability can tell the difference
- Constraint programming for dynamic symbolic execution of JavaScript
- Runtime Exception Detection in Java Programs Using Symbolic Execution
- Automation of broad sanity test generation
- Concolic execution in functional programming by program instrumentation
- Algorithm selection for dynamic symbolic execution: a preliminary study
- Symbolic computation via program transformation
- JBSE
- Path Feasibility Analysis for String-Manipulating Programs
- Symbolic execution based on language transformation
- Collaborative verification and testing with explicit assumptions
- A dwindling filter line search method for unconstrained optimization
- Matching multiplications in bit-vector formulas
- Protocol Inference Using Static Path Profiles
- Formal testing for separation assurance
- Efficient loop navigation for symbolic execution
- An introduction to test specification in FQL
- Model Checking Software
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing
- Curvilinear Linesearch for Tensor Methods
- Combining model checking and testing
- Behavioral interface specification languages
- Concolic testing in logic programming
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- SIPAMPL
- TENSOLVE
- Saturn
- Symstra
- veriSoft
- CalFuzzer
- BLAST
- SLAM
- MiBench
- NSIPS
- KLEE
- PGAPack
- UFO
- UniTESK
- ADL
- DART
- Euclide
- Eclat
- Korat
- PathCrawler
- Pex
- SANTE
- Rostra
- TestEra
- TRACER
- Bandera
- Java PathFinder
- ConTest
- CBMC
- jEdit
- HighSpec
- CCured
- ArgoUML
- edge_push_sp
- SpecExplorer
- JPF-SE
This page was built for software: CUTE
