 % Project: ECONET 
% Document: Prague07 Workshop Report
% Last writer: Andre Pascal 
% creation: 09/10/07 
% modification PA 09/10/07 
% *********************************** 
%\section{Annotated Bibliography}
%\label{annotedBib}
%\input{annotedBib}

%Bibliography Directory
We summarise some useful papers on the subject.
These papers can be downloaded on the wiki, project material.

\subsection{General Papers}

\begin{itemize}
    \item Reverse Engineering: A Roadmap by Hausi Müller at al. \cite{muller00}
    \item The Vienna Component Framework Enabling Composition Across Component Models by Johann Oberleitner et al. \cite{oberleitner03}
    \item A technique for automatic component extraction from object-oriented programs by refactoring by Hironori Washizakia et al. \cite{washizaki05}
    \item Program and interface slicing for reverse engineering by Jon Beck et al.
\cite{beck93}
    \item A Simple Method for Extracting Models from Protocol Code by David Lie et al.\cite{lie01}
    \item An Intermediate Representation for Integrating Reverse Engineering Analyses by Rainer Koschke et al. 
\cite{koschke98}
%    \item by \cite{}
\end{itemize}

\subsection{Java Reverse Engineering}

\begin{itemize}
    \item Experiences with the Development of a Reverse Engineering Tool for UML Sequence Diagrams: A Case Study in Modern Java Development Matthias Merdes et al.
\cite{merdes06}
    \item Reverse Engineering a Large Component-based Software Product by JM Favre and al.
\cite{favre01}
%    \item by \cite{}
\end{itemize}

\subsection{Patterns Reverse Engineering}

\begin{itemize}
    \item Pattern-Based Reverse-Engineering of Design Components by Rudolf K. Keller et al. \cite{keller99}
    \item An approach for reverse engineering of design patterns by Ilka Philippow et al. \cite{DBLP:journals/sosym/PhilippowSRN05}
    \item Reverse Engineering of Design Patterns from Java Source Code by Nija Shi et al. \cite{reversePatterns}
    \item A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition by Francesca Arcelli et al. \cite{REcomparison}
    \item Automatic Detection of Design Pattern for Reverse Engineering by Hakjin Lee et al. \cite{pattern:hakjin07} 
    \item Experiments on Design Pattern Discovery by Jing Dong et al. \cite{patternDiscovery}
%    \item by \cite{}
\end{itemize}

\subsection{Code Model Checking, Source code Analysis}

\begin{itemize}
    \item Model-checking Distributed Components: The Vercors Platform by Tomas Barros at al. \cite{barros07} %{general:BCM+06}
    \item Source Code Analysis: A Road Map by David Binkley \cite{binkley07}
    \item Formal verification of software source code through semi-automatic modeling by Cindy Eisner \cite{general:Eis05}
    \item Counterexample-Guided Abstraction Refinement by Edmund M. Clarke et al. \cite{general:CGJ+00}
    \item The SLAM Project: Debugging System Software via Static Analysis by Thomas Ball et al. \cite{general:BR02}
%    \item by \cite{}
\end{itemize}

\subsection{Trace Exploration}

\begin{itemize}
    \item A Survey of Trace Exploration Tools and Techniques by Abdelwahab Hamou-Lhadj et al.
\cite{hamou04}
    \item Bandera: extracting finite-state models from Java source code by J.C.  Corbett et al.
\cite{bandera00}
    \item Tool-supported program abstraction for finite-state verification by M.B. Dwyer et al.
\cite{bandera01}
    \item Component Recovery, Protocol Recovery and Validation in Bauhaus by Thomas Eisenbarth et al.
\cite{eisenbarth05}
%    \item by \cite{}
\end{itemize}

\subsection{Verification of Software Components and Code}

\begin{itemize}
    \item Roadmap for enhanced languages and methods to aid verification
by Gary T. Leavens et al. 
\cite{p221-leavens}
    \item Modular Verification of Software Components in C by Sagar Chaki et al. \cite{general:CCG+04}
    \item Predicate Abstraction of ANSI-C Programs Using SAT by Edmund Clarke at al. \cite{general:CKS+04}
\end{itemize}

%\subsection{Model Engineering Tools}

%\subsection{Java Tools}

\subsection{Members publications on the subject}
\subsubsection{DSRG}

\begin{itemize}
    \item Runtime Support for Advanced Component Concepts by Tomas Bures et al.
\cite{dsrg:runACIS2007}
    \item Modeling Environment for Component Model Checking from Hierarchical Architecture by Pavel Parizeka et al.
\cite{dsrg:PaPlModelingEnvironment2007}
    \item Specification and Generation of Environment for Model Checking of Software Components by Pavel Parizek et al.
\cite{dsrg:PaPlSpecificationand2007}
    \item Model Checking of Component Behavior Specification: A Real Life Experience by Pavel Jezek et al.
\cite{dsrg:JeKoModelChecking2006}
    \item Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker by Parízek Pavel, et al.
\cite{dsrg:PaPlModelChecking2007}
    \item Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker by Parízek Pavel, et al.
\cite{dsrg:PaPlModelChecking2006}
%    \item \cite{}
\end{itemize}

\subsubsection{OBASCO}

\begin{itemize}
    \item Java Implementation of a Component Model with Explicit Symbolic Protocols by Sebastian Pavel et al.
\cite{obasco:spavel-all05a}
%    \item \cite{}
\end{itemize}

\endinput


