TH-NET: A Microprocessor-Based Local Network.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982
On the Automated Generation of Program Test Data.
IEEE Trans. Software Eng., 1976
On the Automated Generation of Program Test Data (Abstract).
Proceedings of the 2nd International Conference on Software Engineering, 1976
Optimal Placement of Software Monitors Aiding Systematic Testing.
IEEE Trans. Software Eng., 1975