An approach to program testing JC Huang ACM Computing Surveys (CSUR) 7 (3), 113-128, 1975 | 369 | 1975 |
Detection of data flow anomaly through program instrumentation JC Huang IEEE Transactions on Software Engineering, 226-236, 1979 | 160 | 1979 |
Program instrumentation and software testing JC Huang Computer 11 (4), 25-32, 1978 | 128 | 1978 |
Generalized loop-unrolling: a method for program speedup JC Huang, T Leng Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software …, 1999 | 65 | 1999 |
Software error detection through testing and analysis JC Huang John Wiley & Sons, 2009 | 28 | 2009 |
Instrumenting programs for symbolic-trace generation JC Huang Computer 13 (12), 17-23, 1980 | 23 | 1980 |
State constraints and pathwise decomposition of programs JC Huang IEEE Transactions on Software Engineering 16 (8), 880-896, 1990 | 18 | 1990 |
A depth‐first and tool‐supportable programming strategy JC Huang Software: Practice and Experience 17 (2), 159-163, 1987 | 6 | 1987 |
A simulator for real‐time software debugging and testing JC Huang, M Ho, T Law Software: Practice and Experience 14 (9), 845-855, 1984 | 6 | 1984 |
Measuring the effectiveness of a test case JC Huang Proceedings. 1998 IEEE Workshop on Application-Specific Software Engineering …, 1998 | 4 | 1998 |
A method for pogram analysis and Its applications to program-correctness problems JC Huang International Journal of Computer Mathematics 5 (1-4), 203-227, 1975 | 4 | 1975 |
A new verification rule and its applications JC Huang IEEE Transactions on Software Engineering 6 (5), 480, 1980 | 3 | 1980 |
A tool-based approach for software testing and validation JC Huang, P Valdes, RT Yeh Proceedings of the July 9-12, 1984, national computer conference and …, 1984 | 1 | 1984 |