On the integration of metamorphic testing and model checking

Full text for this resource is not available from the Research Repository.

Liu, Huai ORCID: 0000-0003-3125-4399, Wang, D, Lin, H and Chen, TY (2009) On the integration of metamorphic testing and model checking. In: The IADIS International Conference on Applied Computing 2009, 19 November 2009-21 November 2009, Rome, Italy.

Item type Conference or Workshop Item (Paper)
URI https://vuir.vu.edu.au/id/eprint/35541
ISBN 9789728924973
Subjects Current > FOR Classification > 0803 Computer Software
Current > Division/Research > College of Science and Engineering
Keywords software testing; software verification; counter example generation
Download/View statistics View download statistics for this item

Search Google Scholar

Repository staff login