Cited in
(14)- Not all bugs are created equal, but robust reachability can tell the difference
- Combining model checking and testing
- How testing helps to diagnose proof failures
- CUTE
- DART
- Euclide
- Pex
- SANTE
- JPF-SE
- jCUTE
- StaDy
- BINSEC/SE
- Test selection for traces refinement
- An efficient method to generate feasible paths for basis path testing
This page was built for software: PathCrawler
