PathCrawler
From MaRDI portal
Software:19302
No author found.
Related Items (5)
How testing helps to diagnose proof failures ⋮ Not all bugs are created equal, but robust reachability can tell the difference ⋮ Combining Model Checking and Testing ⋮ Test selection for traces refinement ⋮ An efficient method to generate feasible paths for basis path testing
This page was built for software: PathCrawler
