diff --git a/presentation/.DS_Store b/presentation/.DS_Store index 502af3d4bbf2dd0ea90f6590a31c5ca3d8d9daad..aae91701a0a4ad9c0fe2711c21a62cd3065925ab 100644 Binary files a/presentation/.DS_Store and b/presentation/.DS_Store differ diff --git a/presentation/tud-beamer-template/main.pdf b/presentation/tud-beamer-template/main.pdf index 9bbf14b9ecc82d07d21f8448bcfca044e58f17ce..d3bce548310034eac450f2c31be38eedf353dff8 100644 Binary files a/presentation/tud-beamer-template/main.pdf and b/presentation/tud-beamer-template/main.pdf differ diff --git a/presentation/tud-beamer-template/main.tex b/presentation/tud-beamer-template/main.tex index c647d62adcadd69aea668d5db7aad1649127136a..66f149ab5db740511902efc09ba3d292ce28b21b 100644 --- a/presentation/tud-beamer-template/main.tex +++ b/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]