JPF-SE
From MaRDI portal
Software:23972
swMATH12038MaRDI QIDQ23972FDOQ23972
Author name not available (Why is that?)
Cited In (6)
- 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
- Simple linear string constraints
- On theorem prover-based testing
- Connecting program synthesis and reachability: automatic program repair using test-input generation
This page was built for software: JPF-SE
