Detection of unfeasible paths with a path-dependence flow graph. - Kuniaki Naoi; Naohisa Takahashi (Syst. Comput. Jpn., 1994)

Program slicing using a path dependence flow graph. - Kuniaki Naoi; Naohisa Takahashi (Syst. Comput. Jpn., 1996)

Program slicing based on data-flow computation of path dependence flow graphs. - Kuniaki Naoi; Naohisa Takahashi (Syst. Comput. Jpn., 1997)

Semantic configuration management model using a path dependence flow graph. - Kuniaki Naoi; Naohisa Takahashi (Syst. Comput. Jpn., 1999)

Detection of infeasible paths using Presburger arithmetic. - Kuniaki Naoi; Naohisa Takahashi (Syst. Comput. Jpn., 1999)