J. C. Huang

1935

• Software error detection through testing and analysis
• Path-oriented program analysis