JPF-SE
From MaRDI portal
Cited in
(22)- Symstra
- IMP++
- CalFuzzer
- PathCrawler
- ADL
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- ConTest
- SpecExplorer
- Kaluza
- dk.brics.automaton
- YOGI
- KLOVER
- Looper
- Combining model checking and testing
- Connecting program synthesis and reachability: automatic program repair using test-input generation
- CATG
- jCUTE
- Angelix
- Simple linear string constraints
- On theorem prover-based testing
- Con2colic
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
This page was built for software: JPF-SE
