P. David Coward

According to our database, P. David Coward authored at least 7 papers between 1988 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Using Use Case Models to Generate Object Points.

Ayman Issa, Mohammed Odeh, P. David Coward

Proceedings of the IASTED International Conference on Software Engineering, 2005

1994

The symbolic execution of software - the SYM-BOL system.

P. David Coward, Darrel C. Ince

Chapman and Hall computer science : research and practice 2, Chapman and Hall, ISBN: 978-0-412-58340-7, 1994

1991

Symbolic execution and the testing of COBOL programs.

Philip David Coward

PhD thesis, 1991

The role of symbolic execution in software maintenance.

P. David Coward, Darrel C. Ince

J. Softw. Maintenance Res. Pract., 1991

Path feasibility, linear optimizers and the evaluate standard form.

P. David Coward

ACM SIGPLAN Notices, 1991

1988

Determining path feasibility for commercial programs.

P. David Coward

ACM SIGPLAN Notices, 1988

Symbolic execution systems-a review.

P. David Coward

Softw. Eng. J., 1988