Research Repository

On the integration of metamorphic testing and model checking

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.

Full text for this resource is not available from the Research Repository.
Item Type: Conference or Workshop Item (Paper)
ISBN: 9789728924973
Uncontrolled Keywords: software testing; software verification; counter example generation
Subjects: FOR Classification > 0803 Computer Software
Faculty/School/Research Centre/Department > College of Science and Engineering
Depositing User: Symplectic Elements
Date Deposited: 07 Feb 2018 22:04
Last Modified: 07 Feb 2018 22:04
ePrint Statistics: View download statistics for this item

Repository staff only

View Item View Item

Search Google Scholar