CUTE
From MaRDI portal
CUTE Q12944
Cited in
(only showing first 100 items - show all)- Integration of verification methods for program systems
- SIPAMPL
- TENSOLVE
- Symstra
- Saturn
- veriSoft
- CalFuzzer
- BLAST
- SLAM
- Symbolic computation via program transformation
- MiBench
- UFO
- NSIPS
- KLEE
- PGAPack
- Symbolic execution based on language transformation
- UniTESK
- SANTE
- PathCrawler
- ADL
- TestEra
- Korat
- DART
- Euclide
- Pex
- Rostra
- Eclat
- Java PathFinder
- Bandera
- CompoSAT: specification-guided coverage for model finding
- Machine learning steered symbolic execution framework for complex software code
- Algorithm selection for dynamic symbolic execution: a preliminary study
- TRACER
- ConTest
- jEdit
- CBMC
- HighSpec
- CCured
- Test generation from event system abstractions to cover their states and transitions
- Automata-based symbolic string analysis for vulnerability detection
- ArgoUML
- edge_push_sp
- Constraint programming for dynamic symbolic execution of JavaScript
- SpecExplorer
- CUTEst: a constrained and unconstrained testing environment with safe threads for mathematical optimization
- JPF-SE
- marga
- Perracotta
- Executing and verifying higher-order functional-imperative programs in Maude
- QPLIB2014
- log4j
- JCrasher
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing
- GanttProject
- YOGI
- Symbolic automata
- KLOVER
- FShell
- Mechanized semantics for the clight subset of the C language
- LINUOA
- Behavioral interface specification languages
- A new framework for the computation of Hessians
- Sigma*
- Runtime Exception Detection in Java Programs Using Symbolic Execution
- LCTD
- Matching multiplications in bit-vector formulas
- Association of under-approximation techniques for generating tests from models
- MSV
- Looper
- Efficient loop navigation for symbolic execution
- Combining model checking and testing
- On a trust region method without exact Jacobian matrices
- Model Checking MSVL Programs Based on Dynamic Symbolic Execution
- Alloy*
- Connecting program synthesis and reachability: automatic program repair using test-input generation
- Sigma*
- StrSolve
- LCTD: test-guided proofs for C programs on LLVM
- Symbolic memory with pointers
- Strategies for scalable symbolic execution-driven test generation for programs
- Protocol Inference Using Static Path Profiles
- KLOVERA
- Path Feasibility Analysis for String-Manipulating Programs
- A non-termination criterion for binary constraint logic programs
- Pixy
- Symbiotic 2
- CATG
- Jalangi
- SymDIVINE
- CIL
- jCUTE
- Angelix
- BINSEC/SE
- LCT
- ExpoSE
- Formal testing for separation assurance
- KOOL
- Curvilinear Linesearch for Tensor Methods
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Concolic testing in logic programming
This page was built for software: CUTE
