SeqMap

### Program Information

Name: SeqMap
Domain: Algorithm
Functionality: A Short Sequence Mapping Tool in bioinformatics.
Input: A set of short strings $P={p_1,\ldots ,p_k}$, a long reference string $t_s$, and the specified maximum of mismatches $e_s$. Let us denote the long reference string and the specified maximum of mismatches in the follow-up test case as $t_f$ and $e_f$, respectively.
Output: The output is denoted as $M_s$. And the set of unmappable short strings is $U_s=(p\backslash M_s)$ The sets of mappable and unmappable short strings produced by the follow-up test case are referred to as $M_f$ and $U_f$, respectively.

#### Reference

 Metamorphic slice: An application in spectrum-based fault localization https://doi.org/10.1016/j.infsof.2012.08.008

### MR Information

#### MR1------ Concatenation of some elements of $P$ to $t_s$

Description:
Property: Suppose $P_1$ is any non-empty subset of P. $t_f$ is constructed by concatenating all elements in $P_1$ to the end of $t_s$ one by one. As a consequence, (1)For any $p_i \in M_s$, we have $p_i \in M_f$.Thus,$M_s \subseteq M_f$ (2)For each $p_i \in (M_s \cap P_1)$, the follow-up test case should have at least one additional mapping location in $t_f$. (3)Each $p_i \in (U_s \cap P_1)$ should be mapped at least once in $t_f$, that is, for such $p_i$, we have $p_i \in M_f$.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR2------ Deletion of substrings in $t_s$

Description:
Property: DeIn this MR, $t_f$ is constructed from $t_s$ by deleting an arbitrary portion of strings at either the beginning or the end of $t_s$ . As a consequence, for any $p_i \in U_s$, we have $p_i \in U_f$. Therefore, $U_s \subseteq U_f$.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR3------  Changing of $e_s$

Description:
Property: In this MR, $t_f = t_s$. And $e_f$ can be set to either greater or smaller than $e_s$. (1)Consider the case that $0 \leq e_f < e_s$. Then, we have $M_f \subseteq M_s$. (2)Consider the case that $0 \leq e_s < e f$. Then, we have $M_s \subseteq M_f$.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:
Insert title here