header

Program Information

Name: ComputePower
Domain: Numerical program
Functionality: Perform function of Power in Math
Input: A: Target element to be Powered (Type: Real) B: The times of Power (Type: Real)
Output: N: The result of $ A^{B} $ (Type: Real)

Reference

    Fault-Based Testing in the Absence of an Oracle: http://dx.doi.org/10.1109/CMPSAC.2001.960614
    Metamorphic Testing and Beyond: http://doi.ieeecomputersociety.org/10.1109/STEP.2003.18




MR Information

MR1------

Description:
Property:
Source input: <As, Bs>
Source output: Ns
Follow-up input: <Af, Bf >
Follow-up output: Nf
Input relation: let Af = As * As, Bf = Bs
Output relation: Nf = Ns * Ns
Pattern:
Insert title here