Hi Boaz: I am also quite eager to get this paper published. Here is a minimal set of corrections. ok, let's keep it simple. Please add to the end of the first paragraph of 7.3 : The DJ system [http://www.ccs.neu.edu/research/demeter/DJ/] is a concrete implementation of the TAO principle. DJ provides a library containing a Strategy, ClassGraph and TraversalGraph class implementing the algorithms described in this paper. page 1, line 3: change "in most cases" to "in some cases". page 4, strategy hazards: I don't know what you mean by: a well-known programming technique ... unforeseen problems. Please can you explain. evloved ->evolved 4. line from bottom: "end executes" -> "and executes" page 13: Doug's correction page 18: Josh's remark as discussed already page 24: second paragraph: u -> v (v is a superscript) Missing reference in middle of page: @ARTICLE{weyuker:antiext, AUTHOR = "E.J. Weyuker", TITLE = "The Evaluation of Program-Based Software Test Data Adequacy Criteria", JOURNAL = "Communications of the ACM", YEAR = 1988, PAGES = "668-675", VOLUME = 31, NUMBER = 6 } Doug found another wrinkle that he will share with us. -- Karl