Symbolic execution systems-a review. - P. David Coward (Softw. Eng. J., 1988)

Determining path feasibility for commercial programs. - P. David Coward (ACM SIGPLAN Notices, 1988)

Path feasibility, linear optimizers and the evaluate standard form. - P. David Coward (ACM SIGPLAN Notices, 1991)

The role of symbolic execution in software maintenance. - P. David Coward; Darrel C. Ince (J. Softw. Maintenance Res. Pract., 1991)

Symbolic execution and the testing of COBOL programs. - Philip David Coward (1991)

The symbolic execution of software - the SYM-BOL system. - P. David Coward; Darrel C. Ince (Chapman and Hall, 1994)

Using Use Case Models to Generate Object Points. - Ayman Issa; Mohammed Odeh; P. David Coward (IASTED Conf. on Software Engineering, 2005)