P. David Coward

A review of software testing

P. David Coward, P. D. Coward, 1988 .

Determining path feasibility for commercial programs

P. David Coward, P. D. Coward, 1988, SIGP.

The symbolic execution of software - the SYM-BOL system

P. David Coward, Darrel C. Ince, 1994, Chapman and Hall computer science : research and practice.

Symbolic execution systems-a review

P. David Coward, 1988, Softw. Eng. J..

Using Use Case Models to Generate Object Points

P. David Coward, Mohammed Odeh, Ayman Issa, 2005, IASTED Conf. on Software Engineering.

Path feasibility, linear optimizers and the evaluate standard form

P. David Coward, 1991, SIGP.