PathCrawler

MaRDI QIDQ19302swMATHFDO

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

Cited in

(14)

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

This page was built for software: PathCrawler