KLEE
From MaRDI portal
swMATH4894MaRDI QIDQ17045FDOQ17045
Author name not available (Why is that?)
Official website: http://llvm.org/pubs/2008-12-OSDI-KLEE.html
Cited In (only showing first 100 items - show all)
- Beaver
- Boolector
- CUTE
- JMLUnit
- CalFuzzer
- WoLFram
- TVOC
- BLAST
- DiVinE
- MiBench
- SAT competition
- Valgrind
- ISP
- LLVM
- TASS_
- Bogor
- Limmat
- SPARKSkein
- ADL
- DART
- LTSmin
- Euclide
- PathCrawler
- Pex
- CPAchecker
- Predator
- TRACER
- UFO
- Java PathFinder
- MARMOT
- ConTest
- Cetus
- CBMC
- r-TuBound
- libalf
- ns-3
- BitBlaze
- Nighthawk
- SPARK Pro
- JPF-SE
- BAP
- FloPSy
- SatAbs
- YOGI
- Joogie
- Ctrl
- KLOVER
- Snugglebug
- FShell
- Smacc
- Wolverine
- CodeSonar
- Klockwork
- EXPLODE
- LCTD
- Sigma*
- JST
- Looper
- Coverity
- VS3
- OTAWA
- CoVaC
- BoogiePL
- BotMiner
- Luck
- Norn
- Sigma*
- SMACK
- BIGNUM
- ANaConDA
- CATG
- KLEE-FP
- Jalangi
- Pixy
- Symbiotic 2
- CIL
- Angelix
- jCUTE
- Klocwork
- SymDIVINE
- BINSEC/SE
- LCT
- ExpoSE
- QEMU
- SymJS
- Calysto
- Z3str3
- Cascade
- CIVL
- Crust
- WPDS++
- GraVy
- LRinv
- STP
- Beginner's luck: a language for property-based generators
- Bugst
- Pyverilog
- XKCP
- Z3str2: an efficient solver for strings, regular expressions, and length constraints
- TASS: the toolkit for accurate scientific software
This page was built for software: KLEE
