If result is correct for the input 42, will the return value be valid for different inputs? In ECP and BVA we manually grouped similar input together and chose examples that were believed to be useful to test. Property-based test uses the existing checks from the example-based testing but supplies random input and if it finds an error case, it tries to find the minimal counterexample. The random input is obtained by using pre-defined generators  which are specified by the engineer.
The input generation for a specified property is geared towards finding values that violate that property and thus discover software defects automatically \cite{zander2011model}.
What is the notion of Fault-injection in the property-based testing context?
Data Usage Matrix
Functional Testing
Integration Testing
Acceptance Testing
Distributed Systems Testing
Conformance Testing