PathCrawler

MaRDI QIDQ19302swMATHFDO

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

Cited in

(14)

• CUTE
• How testing helps to diagnose proof failures
• SANTE
• DART
• Euclide
• Pex
• JPF-SE
• Combining model checking and testing
• StaDy
• jCUTE
• BINSEC/SE
• Test selection for traces refinement
• Not all bugs are created equal, but robust reachability can tell the difference
• An efficient method to generate feasible paths for basis path testing

This page was built for software: PathCrawler