Boyer

### Program Information

Name: Boyer
Domain: Algorithm
Functionality: The program returns the index of the first occurrence of a specified pattern within a given text
Input: A given text
Output: the index of the first occurrence of a specified pattern

#### Reference

An Experimental Study to Compare the Use of Metamorphic Testing and Assertion Checking
https://pdfs.semanticscholar.org/17e4/b979f847e7785104139e3ed97b5b3e7967dc.pdf?_ga=2.49721702.1914929612.1565157787-500444029.1561960669 

### MR Information

#### MR1------

Description: The function concatenate (x, y) returns the result of concatenating string x and string y. The function find (x, y) returns the zero-based index of string y within the string x if x contains y; otherwise, it returns −1
Property: $$If (x_{1} = concatenate (x_{2}, x_{3})) \wedge (find (x_{2}, x_{4}) > −1), then find (x_{1}, x_{4}) = find (x_{2}, x_{4})$$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR2------

Description: The function concatenate (x, y) returns the result of concatenating string x and string y. The function find (x, y) returns the zero-based index of string y within the string x if x contains y; otherwise, it returns −1
Property: $$If (x_{1} = concatenate (x_{2}, x_{3})) \wedge (find (x_{2}, x_{4}) = −1) \wedge (find (x_{3}, x_{4}) > −1), then find (x_{1}, x_{4}) \leq length (x_{2}) + find (x_{3}, x_{4})$$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR3------

Description: The function concatenate (x, y) returns the result of concatenating string x and string y. The function find (x, y) returns the zero-based index of string y within the string x if x contains y; otherwise, it returns −1
Property: $$If (x_{1} = concatenate (x_{2}, x_{3})) \wedge (find (x_{1}, x_{4}) = length (x_{2})), then find (x_{3}, x_{4}) = 0$$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:
Insert title here