On the integration of metamorphic testing and model checking

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

Liu, Huai ORCID logoORCID: https://orcid.org/0000-0003-3125-4399, Wang, Daoming, Huimin, Lin and Chen, Tsongyueh (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 Historical > 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

CORE (COnnecting REpositories)