This idea is different from other testing approaches where models of the correct behavior are used to generate test cases or to check for a faulty behavior at runtime.
This idea is different from other testing approaches where models of the correct behavior are used to generate test cases or to check for a faulty behaviorat runtime.