tfm-report/bibliography.tex

% !TeX encoding = UTF-8
% !TeX spellcheck = en_US
% !TeX root = paper.tex
\begin{thebibliography}{99}
\bibitem{sinha00}
	Saurabh Sinha, Mary Jean Harrold.
	\textsl{Analysis and Testing of Programs with Exception-Handling Constructs.}
	2000.

\bibitem{jo04}
	Jang-Wu Jo, Byeong-Mo Chang.
	\textsl{Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow.}
	2004.

\bibitem{jiang07}
	Shujuan Jiang, Yuanpeng Jiang.
	\textsl{An Analysis Approach for Testing Exception Handling Programs.}
	2007.

\bibitem{dooren07}
	Marko van Dooren, Eric Steegmans.
	\textsl{Combining the Robustness of Checked Exceptions with the Flexibility of Unchecked Exceptions using Anchored Exception Declarations.}
	2007.
	
\bibitem{xu07}
	Guoqing Xu, Atanas Rountev.
	\textsl{Data-flow and Control-flow Analysis of AspectJ Software for Program Slicing.}
	2007.

\bibitem{corbat08}
	Thomas Corbat.
	\textsl{Dependence Graphs for Slicing and Refactoring.}
	2008.
	
\bibitem{qui10}
	Xiang Qiu, Li Zhang, Xiaoli Lian.
	\textsl{Static Analysis for Java Exception Propagation Structure.}
	2010.
	
\bibitem{chang15}
	Byeong-Mo Chang, Kwanghoon Choi.
	\textsl{A review on exception analysis.}
	2015.
	
%\bibitem{citekey}
\end{thebibliography}