JPF-SE
From MaRDI portal
Software:23972
No author found.
Related Items (6)
Combining Model Checking and Testing ⋮ Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving ⋮ Simple linear string constraints ⋮ On theorem prover-based testing ⋮ Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation ⋮ Efficient bounded model checking of heap-manipulating programs using tight field bounds
This page was built for software: JPF-SE
