1. Ben-Asher, Y., Farchi, E.: Compact representations of search in complex domains. International Game Theory Review 7(2), 171–188 (1997)
2. Ben-Asher, Y., Farchi, E., Newman, I.: Optimal search in trees. In: 8’th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 1997), New Orleans (1997)
3. Choi, J.D., Zeller, A.: Isolating failure inducing thread schedules. In: International Symposium on Software Testing and Analysis (2002)
4. Clarke, L.A.: Comparison of data-flow path selection criteria. IEEE Transaction on Software Engineering (1985)
5. Clarke, L.A.: An investigation of data flow path selection criteria. In: Work Shop On Software Testing, Banff, Canada (1986)