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
