DART
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Integration of verification methods for program systems
- Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
- CUTE
- Symstra
- Saturn
- veriSoft
- CalFuzzer
- AGATHA
- BLAST
- SLAM
- KLEE
- PGAPack
- Symbolic execution based on language transformation
- UniTESK
- PathCrawler
- GATeL
- TestEra
- Korat
- Euclide
- Pex
- Eclat
- STG
- ATGen
- QuickCheck
- Dual analysis for proving safety and finding bugs
- jSpin
- Java PathFinder
- Bandera
- Symbolic execution formally explained
- Dashed strings for string constraint solving
- Machine learning steered symbolic execution framework for complex software code
- CESAR
- Lackwit
- GenRGenS
- Algorithm selection for dynamic symbolic execution: a preliminary study
- TRACER
- jEdit
- CBMC
- ns-3
- TVLA
- Pinapa
- Orion
- CCured
- BitBlaze
- Test generation from event system abstractions to cover their states and transitions
- Scalable and precise refinement of cache timing analysis via path-sensitive verification
- SPARK Pro
- ArgoUML
- Nighthawk
- Constraint programming for dynamic symbolic execution of JavaScript
- NModel
- SpecExplorer
- Rex
- JPF-SE
- Executing and verifying higher-order functional-imperative programs in Maude
- Recognizing malicious software behaviors with tree automata inference
- FloPSy
- log4j
- JCrasher
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing
- GanttProject
- YOGI
- SystemVerilog
- ASTREE
- Snugglebug
- KLOVER
- FShell
- AUSTIN
- Exploiting binary floating-point representations for constraint propagation
- RALib
- CodeSonar
- Klockwork
- Alternating control flow reconstruction
- 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
- A random testing approach using pushdown automata
- Stimuli generation for functional hardware verification with constraint programming
- An Evaluation of Automata Algorithms for String Analysis
- MSV
- Looper
- Z3-str
- Efficient loop navigation for symbolic execution
- Introduction to model checking
- Combining model checking and testing
- Back to the future, revisiting precise program verification using SMT solvers
- Model Checking MSVL Programs Based on Dynamic Symbolic Execution
- Liss
- Limi
- Connecting program synthesis and reachability: automatic program repair using test-input generation
- Sigma*
- WAPTEC
- StrSolve
- LCTD: test-guided proofs for C programs on LLVM
- Greenfoot
- Scratch
- DyTa
- Strategies for scalable symbolic execution-driven test generation for programs
- Model-Based Test Selection for Infinite-State Reactive Systems
This page was built for software: DART
