We stand with Ukraine  

J. C. Huang

Affiliations:
  • University of Houston, Department of Computer Science, TX, USA
  • International Software Systems, Inc., College Park, MD, USA
  • University of Pennsylvania, Philadelphia, PA, USA (PhD 1969)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1975
1980
1985
1990
1995
2000
2005
0
1
2
3
1
1
1
2
1
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2009
Software Error Detection through Testing and Analysis.
[BibTeX]
[DOI]
J. C. Huang
Wiley, ISBN: 978-0-470-40444-7, 2009

2008
Path-Oriented Program Analysis.
[BibTeX]
J. C. Huang
Cambridge University Press, ISBN: 978-0-521-88286-6, 2008

1992
ECOS graphs: a dataflow programming language.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
J. C. Huang
IEEE Trans. Software Eng., 1990

1989
On real-time system research and education.
[BibTeX]
[DOI]
J. C. Huang
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1987
A Depth-first and Tool-supportable Programming Strategy.
[BibTeX]
[DOI]
J. C. Huang
Softw. Pract. Exp., 1987

1984
A Simulator for Real-Time Software Debugging and Testing.
[BibTeX]
[DOI]
J. C. Huang
,
Melody Ho
,
Ted Law
Softw. Pract. Exp., 1984

A tool-based approach for software testing and validation.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
J. C. Huang
IEEE Trans. Software Eng., 1980

Instrumenting Programs for Symbolic-Trace Generation.
[BibTeX]
[DOI]
J. C. Huang
Computer, 1980

1979
Detection of Data Flow Anomaly Through Program Instrumentation.
[BibTeX]
[DOI]
J. C. Huang
IEEE Trans. Software Eng., 1979

1978
Program Instrumentation and Software Testing.
[BibTeX]
[DOI]
J. C. Huang
Computer, 1978

1975
An Approach to Program Testing.
[BibTeX]
[DOI]
J. C. Huang
ACM Comput. Surv., 1975

1973
A Note on Information Organization and Storage.
[BibTeX]
[DOI]
J. C. Huang
Commun. ACM, 1973


  Loading...