swMATH12038MaRDI QIDQ23972FDOQ23972
Author name not available (Why is that?)
Official website: http://javapathfinder.sourceforge.net/extensions/symbc/doc/
Cited In (20)
- Combining model checking and testing
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- IMP++
- ADL
- PathCrawler
- Simple linear string constraints
- On theorem prover-based testing
- ConTest
- SpecExplorer
- dk.brics.automaton
- Kaluza
- YOGI
- KLOVER
- Looper
- CATG
- Angelix
- jCUTE
- Con2colic
- Connecting program synthesis and reachability: automatic program repair using test-input generation
This page was built for software: JPF-SE
