Kuniaki Naoi

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Kuniaki Naoi, Naohisa Takahashi
Detection of infeasible paths using Presburger arithmetic. Systems and Computers in Japan 30 (9) (1999)
Kuniaki Naoi, Naohisa Takahashi
Semantic configuration management model using a path dependence flow graph. Systems and Computers in Japan 30 (5) (1999)
Kuniaki Naoi, Naohisa Takahashi
Program slicing based on data-flow computation of path dependence flow graphs. Systems and Computers in Japan 28 (11) (1997)
Kuniaki Naoi, Naohisa Takahashi
Program slicing using a path dependence flow graph. Systems and Computers in Japan 27 (12) (1996)
Kuniaki Naoi, Naohisa Takahashi
Detection of Infeasible Paths Using Presburger Arithmetic. COMPSAC (1996)
Kuniaki Naoi, Naohisa Takahashi
Detection of unfeasible paths with a path-dependence flow graph. Systems and Computers in Japan 25 (10) (1994)