Computes the approximate area under the curve f(x) between X axis.
F: The function to be intergrated (Type: Function)
M: The fisrt x coordinate (Type: Real)
N: The second x coordinate (Type: Real)
K: Area under the curve F(x) between x = M and x = N (Type: Real).
Semi-Proving: an Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing http://dx.doi.org/10.1145/566171.566202
Source input: <Fs, Ms, Ns> ;
Source output: Ks
Follow-up input: <Ff, Mf, Nf> ;
Follow-up output: Kf
Input relation: let Ff(x) = Fs(x) + C, C is a positive constant, and Mf = Ms, Nf = Ns
Output relation: Kf = Ks + C * |Ms – Ns|.