PathCrawler

swMATH7253MaRDI QIDQ19302FDOQ19302

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F11408901_21

Cited In (13)

• 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
• Combining model checking and testing
• DART
• Euclide
• Pex
• SANTE
• JPF-SE
• jCUTE
• StaDy
• BINSEC/SE
• Test selection for traces refinement

This page was built for software: PathCrawler