[214] Hennell, M. A., D. Hedley, and M. R. Woodward (1976). “Experience with an
ALGOL 68 numerical algorithms testbed.” In Computer Software Engineering
(J. Fox, ed.), pp. 457–463. New York: Polytechnic Press.
[215] Hennie, F. C. (1962). Introduction to the Theory of Finite State Machines. New
York: Mc-Graw Hill Book Company, Inc.
[216] Hetzel, W. C. (1973). Program Test Methods. Englewood Cliffs, NJ:
Prentice Hall.
[217] Hierons, R. M. (2001). “Checking states and transitions of a set of communi-
cating finite state machines,” Microprocessors and Microsystems (special
issue on testing and testing techniques for real-time embedded software
systems), 24(9): 443–452.
[218] Hierons, R. M., M. Harman, and S. Danicic (1999). “Using program slicing to
assist ...