J. C. Huang

14 papers B 1Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2009 — book
Software Error Detection through Testing and Analysis.
J. C. Huang
2008 — book
Path-Oriented Program Analysis.
J. C. Huang
1992 Misc conf
ECOS graphs: a dataflow programming language.
SAC
J. C. Huang, José Muñoz, Hal Watt, George Zvara
1990 J jnl
State Constraints and Pathwise Decomposition of Programs.
IEEE Trans. Software Eng.
J. C. Huang
1989 B conf
On real-time system research and education.
COMPSAC
J. C. Huang
1987 J jnl
A Depth-first and Tool-supportable Programming Strategy.
Softw. Pract. Exp.
J. C. Huang
1984 J jnl
A Simulator for Real-Time Software Debugging and Testing.
Softw. Pract. Exp.
J. C. Huang, Melody Ho, Ted Law
1984 — conf
A tool-based approach for software testing and validation.
AFIPS National Computer Conference
J. C. Huang, Peter Valdes, Raymond T. Yeh
1980 J jnl
A New Verification Rule and Its Applications.
IEEE Trans. Software Eng.
J. C. Huang
1980 J jnl
Instrumenting Programs for Symbolic-Trace Generation.
Computer
J. C. Huang
1979 J jnl
Detection of Data Flow Anomaly Through Program Instrumentation.
IEEE Trans. Software Eng.
J. C. Huang
1978 J jnl
Program Instrumentation and Software Testing.
Computer
J. C. Huang
1975 J jnl
An Approach to Program Testing.
ACM Comput. Surv.
J. C. Huang
1973 J jnl
A Note on Information Organization and Storage.
Commun. ACM
J. C. Huang