Kuniaki Naoi

According to our database, Kuniaki Naoi authored at least 5 papers between 1994 and 1999.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1999

Detection of infeasible paths using Presburger arithmetic.

Kuniaki Naoi, Naohisa Takahashi

Syst. Comput. Jpn., 1999

Semantic configuration management model using a path dependence flow graph.

Kuniaki Naoi, Naohisa Takahashi

Syst. Comput. Jpn., 1999

1997

Program slicing based on data-flow computation of path dependence flow graphs.

Kuniaki Naoi, Naohisa Takahashi

Syst. Comput. Jpn., 1997

1996

Program slicing using a path dependence flow graph.

Kuniaki Naoi, Naohisa Takahashi

Syst. Comput. Jpn., 1996

1994

Detection of unfeasible paths with a path-dependence flow graph.

Kuniaki Naoi, Naohisa Takahashi

Syst. Comput. Jpn., 1994