header
Sum of integers in an array

Tag:
Edit edit   Starstar   Delete   Add Picture

Program Information

Name: Sum of integers in an array
Domain: Numerical program
Functionality: Calculating the sum of integers in an array A
Input: A: An array contains a serious of integers(Type: Integer)
Output: O: The sum of elements in the array A(Type: Integer)

Reference


     Techniques for Testing Scientific Programs Without an Oracle http://dx.doi.org/10.1109/SECSE.2013.6615099




MR Information

MR1------

Description:
Property:
Source input: $A_s$
Source output: $O_s$
Follow-up input: $A_f$
Follow-up output: $O_f$
Input relation: $A_f$ = Randomly permuting the order of the elements in $A_s$
Output relation: $O_f = O_s$
Pattern:

MR2------

Description:
Property:
Source input: $A_s$
Source output: $O_s$
Follow-up input: $A_f$
Follow-up output: $O_f$
Input relation: $A_f$ = Adding a positive integer k to every element in $A_s$
Output relation: $O_f = O_s + k \times length(A_s)$
Pattern:
Insert title here