125
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...