Update presentation

presentation/tud-beamer-template/main.tex

@@ -105,6 +105,54 @@
 \end{frame}
 }
 
+\begin{frame}
+  \frametitle{Specification-based Approach}
+  \begin{itemize}
+  \item general infos
+  \item which inferences?
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Property-based Approach}
+  \begin{itemize}
+  \item general infos
+  \item which inferences?
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Constraint-based Approach}
+  \begin{itemize}
+  \item general infos
+  \item which inferences?
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Operation Dependency Graph Approach}
+  \begin{itemize}
+  \item general infos
+  \item which inferences?
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Stateful REST API Fuzzer}
+  \begin{itemize}
+  \item general infos
+  \item which inferences?
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Summary}
+  \begin{itemize}
+  \item table
+  \item results : fuzzing, type of inferences, etc.
+  \end{itemize}
+\end{frame}
+
 {
 \setbeamertemplate{background}[titlepage]
 
@@ -117,6 +165,22 @@
 \end{frame}
 }
 
+\begin{frame}
+  \frametitle{RAGO}
+  \begin{itemize}
+  \item grammar, ast
+  \item implementation, parser, back-transformation
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Validation}
+  \begin{itemize}
+  \item validation process : empty values are excluded, etc..
+  \item 974 APIs from apis.guru are tested
+  \end{itemize}
+\end{frame}
+
 {
 \setbeamertemplate{background}[titlepage]
 
@@ -129,6 +193,24 @@
 \end{frame}
 }
 
+\begin{frame}
+  \frametitle{Benefits}
+  \begin{itemize}
+  \item type of parameter inference
+  \item parameter inference : over 300 acceptable URLs for pet store are generated
+  \item benefits at implementing references, etc.
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  \frametitle{Future Work}
+  \begin{itemize}
+  \item Analyses which are already exist
+  \item Extensions which are already exist might facilitate to implement other fuzzing methods like model-based approach
+  \item openapi structure in rag might be useful 
+  \end{itemize}
+\end{frame}
+
 {
 \setbeamertemplate{background}[titlepage]