JPF-SE
From MaRDI portal
Software:23972
swMATH12038MaRDI QIDQ23972FDOQ23972
Author name not available (Why is that?)
Cited In (6)
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
- 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
- Combining Model Checking and Testing
This page was built for software: JPF-SE
