A Note on Information Organization and Storage. - J. C. Huang 001 (Commun. ACM, 1973)

An Approach to Program Testing. - J. C. Huang 001 (ACM Comput. Surv., 1975)

Program Instrumentation and Software Testing. - J. C. Huang 001 (Computer, 1978)

Detection of Data Flow Anomaly Through Program Instrumentation. - J. C. Huang 001 (IEEE Trans. Software Eng., 1979)

Instrumenting Programs for Symbolic-Trace Generation. - J. C. Huang 001 (Computer, 1980)

A New Verification Rule and Its Applications. - J. C. Huang 001 (IEEE Trans. Software Eng., 1980)

A tool-based approach for software testing and validation. - J. C. Huang 001; Peter Valdes; Raymond T. Yeh (AFIPS National Computer Conference, 1984)

A Simulator for Real-Time Software Debugging and Testing. - J. C. Huang 001; Melody Ho; Ted Law (Softw. Pract. Exp., 1984)

A Depth-first and Tool-supportable Programming Strategy. - J. C. Huang 001 (Softw. Pract. Exp., 1987)

On real-time system research and education. - J. C. Huang 001 (COMPSAC, 1989)

State Constraints and Pathwise Decomposition of Programs. - J. C. Huang 001 (IEEE Trans. Software Eng., 1990)

ECOS graphs: a dataflow programming language. - J. C. Huang 001; José Muñoz; Hal Watt; George Zvara (SAC, 1992)

Path-Oriented Program Analysis. - J. C. Huang 001 (Cambridge University Press, 2008)

Software Error Detection through Testing and Analysis. - J. C. Huang 001 (Wiley, 2009)