PathCrawler

swMATH7253MaRDI QIDQ19302FDOQ19302

Author name not available (Why is that?)

Cited In (5)

• An efficient method to generate feasible paths for basis path testing
• Not all bugs are created equal, but robust reachability can tell the difference
• How testing helps to diagnose proof failures
• Test selection for traces refinement
• Combining Model Checking and Testing

This page was built for software: PathCrawler