swMATH7260MaRDI QIDQ19309FDOQ19309
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1065036
Cited In (only showing first 100 items - show all)
- Formal testing for separation assurance
- Discovering invariants via simple component analysis
- An introduction to test specification in FQL
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- 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
- LCTD: test-guided proofs for C programs on LLVM
- MSV
- Looper
- Limi
- Liss
- Z3-str
- Sigma*
- StrSolve
- DyTa
- WAPTEC
- Greenfoot
- Scratch
- KLOVERA
- CATG
- C32SAT
- Jalangi
- Pixy
- QAGen
- CIL
- jCUTE
- BINSEC/SE
- LCT
- ExpoSE
- QEMU
- SymJS
- KOOL
- DTA++
- WUSSTrace
- WPDS++
- STP
- Compositional may-must program analysis: unleashing the power of alternation
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Beginner's luck: a language for property-based generators
- Pyverilog
- Geno
- CoVEGI
- JaCoCo
- QSYM
- Back to the future, revisiting precise program verification using SMT solvers
- Dual analysis for proving safety and finding bugs
- Strategies for scalable symbolic execution-driven test generation for programs
- \texttt{vlogsl}: a strategy language for simulation-based verification of hardware
- Symbolic execution formally explained
- StarFinder
- RHLE Benchmarks
- A non-termination criterion for binary constraint logic programs
This page was built for software: DART
