DART
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Dynamic Path Reduction for Software Model Checking
- Connecting program synthesis and reachability: automatic program repair using test-input generation
- Symbolic execution formally explained
- A non-termination criterion for binary constraint logic programs
- 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
- Structural Statistical Software Testing with Active Learning in a Graph
- An Evaluation of Automata Algorithms for String Analysis
- Exploiting binary floating-point representations for constraint propagation
- Concolic execution in functional programming by program instrumentation
- Algorithm selection for dynamic symbolic execution: a preliminary study
- JBSE
- Recognizing malicious software behaviors with tree automata inference
- Path Feasibility Analysis for String-Manipulating Programs
- Scalable and precise refinement of cache timing analysis via path-sensitive verification
- Symbolic execution based on language transformation
- Collaborative verification and testing with explicit assumptions
- Matching multiplications in bit-vector formulas
- Formal testing for separation assurance
- Discovering invariants via simple component analysis
- 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
- Combining model checking and testing
- Concolic testing in logic programming
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Model-Based Test Selection for Infinite-State Reactive Systems
- CUTE
- Saturn
- Symstra
- veriSoft
- CalFuzzer
- AGATHA
- BLAST
- SLAM
- KLEE
- PGAPack
- UniTESK
- ATGen
- Euclide
- GATeL
- Eclat
- Korat
- PathCrawler
- Pex
- QuickCheck
- TestEra
- STG
- TRACER
- Bandera
- jSpin
- Java PathFinder
- CESAR
- Lackwit
- GenRGenS
- CBMC
- jEdit
- ns-3
- BitBlaze
- CCured
- Orion
- Pinapa
- TVLA
- ArgoUML
- Nighthawk
- SPARK Pro
- NModel
- SpecExplorer
- Rex
- JPF-SE
- FloPSy
- JCrasher
- log4j
- GanttProject
- ASTREE
- YOGI
- KLOVER
- Snugglebug
- SystemVerilog
- FShell
- AUSTIN
- RALib
- CodeSonar
- Klockwork
- LCTD
- MSV
- Looper
- Limi
- Liss
- Z3-str
- Sigma*
- StrSolve
- DyTa
- WAPTEC
- Greenfoot
- Scratch
This page was built for software: DART
