Может ли кто-нибудь помочь мне найти инструмент для определения метаморфических отношений (например, метаморфических свойств) для данного (Java) метода?
Мне известно о Агитаторе Агитара, но Агитатор генерирует множество тестовых данных, чтобы придать более сильные метаморфические отношения. То, что я ищу, - это инструмент, который угадывает метаморфические отношения на основе (прохождения) тестовых случаев, которые я предоставляю.