  Metamorphic testing (MT) is a general approach for the testing of a specific
kind of software systems -- so-called ``non-testable'', where the ``classical''
testing approaches are difficult to apply. MT is an effective approach for
addressing the test oracle problem and test case generation problem. The test
oracle problem is when it is difficult to determine the correct expected output
of a particular test case or to determine whether the actual outputs agree with
the expected outcomes. The core concept in MT is metamorphic relations (MRs)
which provide formal specification of the system under test. One of the
challenges in MT is \emph{effective test generation}. Property-based testing
(PBT) is a testing methodology in which test cases are generated according to
desired properties of the software. In some sense, MT can be seen as a very
specific kind of PBT.\\ In this paper, we show how to use PBT tools to automate
test generation and verification of MT. In addition to automation benefit, the
proposed method shows how to combine general PBT with MT under the same testing
framework.
