Geoffrey Hall

Filter

2009

Automatic Test Data Generation for Multiple Condition and MCDC Coverage
Ghani, K., Clark, J. A., Boness, K., Fernandes, J. M., Hall, J. G., Machado, R. J. & Oberhauser, R., 2009, p. 152-157. 6 p.
Research output: Contribution to conference › Paper › peer-review
1995

Model Conjectures for Z Specifications
Hall, J. G., McDermid, J. A. & Toyn, I., 1995.
Research output: Contribution to conference › Paper › peer-review
1994

Towards a Z Method: Axiomatic Specification in Z
Hall, J. G. & McDermid, J. A., 1994, p. 213-229.
Research output: Contribution to conference › Paper › peer-review

Research output