From 886bea6531c37e7e28899f3e6f68de3d28696a33 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20P=C3=A9rez?= Date: Thu, 5 Dec 2019 13:59:56 +0000 Subject: [PATCH] Added Info of sequence formalization --- Secciones/background.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Secciones/background.tex b/Secciones/background.tex index b655661..be95096 100644 --- a/Secciones/background.tex +++ b/Secciones/background.tex @@ -85,7 +85,7 @@ of the program (i.e., for any input data). \end{enumerate} \end{definition} -\sergio{$\forall~i~\in~I, v\in~V~\rightarrow~seq(i,v,P)~Pref~seq(i,v,S)$ where $seq(i,a,A)$ representa la secuencia de valores obtenidos para $a$ al ejecutar el input $i$ en el programa $A$. $I$ es el conjunto de todos los inputs posibles para $P$. Por ahi irian los tiros creo yo.} +\sergio{$\forall~i~\in~I, v\in~V~\rightarrow~seq(i,v,P)~Pref~seq(i,v,S)$ where $seq(i,a,A)$ representa la secuencia de valores obtenidos para $a$ al ejecutar el input $i$ en el programa $A$. $I$ es el conjunto de todos los inputs posibles para $P$. Por ahi irian los tiros creo yo.} \sergio{Formalizacion existente en el repo: Program Slicing $\rightarrow$ Trabajos $\rightarrow$ Erlang Benchmarks $\rightarrow$ Papers $\rightarrow$ ICSM 2018 $\rightarrow$ Submitted (Section III - A)} \josep{Si se formaliza con el uso de seq, entonces puedes mirar la definicion del paper de POI testing (Sergio sabe cual es).} Both definitions (\ref{def:strong-slice} and~\ref{def:weak-slice}) are