J. C. Huang

According to our database, J. C. Huang authored at least 14 papers between 1973 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Software Error Detection through Testing and Analysis.

J. C. Huang

Wiley, ISBN: 978-0-470-40444-7, 2009

2008

Path-Oriented Program Analysis.

J. C. Huang

Cambridge University Press, ISBN: 978-0-521-88286-6, 2008

1992

ECOS graphs: a dataflow programming language.

J. C. Huang, José Muñoz, Hal Watt, George Zvara

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

1990

State Constraints and Pathwise Decomposition of Programs.

J. C. Huang

IEEE Trans. Software Eng., 1990

1989

On real-time system research and education.

J. C. Huang

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1987

A Depth-first and Tool-supportable Programming Strategy.

J. C. Huang

Softw. Pract. Exp., 1987

1984

A Simulator for Real-Time Software Debugging and Testing.

J. C. Huang, Melody Ho, Ted Law

Softw. Pract. Exp., 1984

A tool-based approach for software testing and validation.

J. C. Huang, Peter Valdes, Raymond T. Yeh

Proceedings of the American Federation of Information Processing Societies: 1984 National Computer Conference, 1984

1980

A New Verification Rule and Its Applications.

J. C. Huang

IEEE Trans. Software Eng., 1980

Instrumenting Programs for Symbolic-Trace Generation.

J. C. Huang

Computer, 1980

1979

Detection of Data Flow Anomaly Through Program Instrumentation.

J. C. Huang

IEEE Trans. Software Eng., 1979

1978

Program Instrumentation and Software Testing.

J. C. Huang

Computer, 1978

1975

An Approach to Program Testing.

J. C. Huang

ACM Comput. Surv., 1975

1973

A Note on Information Organization and Storage.

J. C. Huang

Commun. ACM, 1973