Predicates, Path Predicates and Achievable Paths in Software Testing

Other Instrumentation Methods

• Mark each link by unique prime number and multiply the link name into a central register
• The path name is a unique number and we can recapture the links traversed by factoring
• Use a bit bap with a single bit per link and set that bit when the link is traversed
• Use a hash code scheme over the link names
• Use any of your symbolic debugger