neuper@42070
|
1 |
\usepackage[ % set page and margin sizes
|
neuper@42070
|
2 |
a4paper,
|
neuper@42070
|
3 |
twoside=false,
|
neuper@42070
|
4 |
top=10mm,
|
neuper@42070
|
5 |
bottom=10mm,
|
neuper@42070
|
6 |
left=20mm,
|
neuper@42070
|
7 |
right=20mm,
|
neuper@42070
|
8 |
bindingoffset=10mm,
|
neuper@42070
|
9 |
head=10mm,
|
neuper@42070
|
10 |
foot=10mm,
|
neuper@42070
|
11 |
headsep=10mm,
|
neuper@42070
|
12 |
footskip=10mm,
|
neuper@42070
|
13 |
includeheadfoot,
|
neuper@42070
|
14 |
]{geometry}
|
neuper@42070
|
15 |
|
neuper@42070
|
16 |
\usepackage{times} % use PostScript fonts
|
neuper@42070
|
17 |
%\usepackage{ngerman} % causes ! Illegal parameter number in definition of \grmn@originalTeX. <to be read again> \penalty l.53 \selectlanguage{austrian}
|
neuper@42070
|
18 |
\usepackage{relsize} % relative font sizes \smaller \larger
|
neuper@42070
|
19 |
|
neuper@42070
|
20 |
\usepackage[iso-8859-1]{inputenx} % so can use Umlaut chars �, �
|
neuper@42070
|
21 |
|
neuper@42070
|
22 |
\usepackage{textcomp} % symbols such as \texttimes and \texteuro
|
neuper@42070
|
23 |
|
neuper@42070
|
24 |
\usepackage[bf]{titlesec}
|
neuper@42070
|
25 |
% format chapter captions (vorher \Huge)
|
neuper@42070
|
26 |
\titleformat{\chapter}{\bf\huge}{\thechapter\quad}{0em}{}
|
neuper@42070
|
27 |
\titlespacing*{\chapter}{0em}{-2em}{1.5em}
|
neuper@42070
|
28 |
|
neuper@42070
|
29 |
% use caption and subfig (caption2 and subfigure are now obsolete)
|
neuper@42070
|
30 |
\usepackage[
|
neuper@42070
|
31 |
position=bottom,
|
neuper@42070
|
32 |
margin=1cm,
|
neuper@42070
|
33 |
font=small,
|
neuper@42070
|
34 |
labelfont={bf,sf},
|
neuper@42070
|
35 |
format=hang,
|
neuper@42070
|
36 |
indention=0mm,
|
neuper@42070
|
37 |
]{caption,subfig}
|
neuper@42070
|
38 |
|
neuper@42070
|
39 |
\captionsetup[subfigure]{
|
neuper@42070
|
40 |
margin=0pt,
|
neuper@42070
|
41 |
parskip=0pt,
|
neuper@42070
|
42 |
hangindent=0pt,
|
neuper@42070
|
43 |
indention=0pt,
|
neuper@42070
|
44 |
singlelinecheck=true,
|
neuper@42070
|
45 |
}
|
neuper@42070
|
46 |
|
neuper@42070
|
47 |
|
neuper@42070
|
48 |
|
neuper@42070
|
49 |
% fancyhdr to make nice headers and footers
|
neuper@42070
|
50 |
% and deal with long chapter names
|
neuper@42070
|
51 |
|
neuper@42070
|
52 |
\usepackage{fancyhdr} % headers and footers
|
neuper@42070
|
53 |
\pagestyle{fancy} % must call to set defaults before redefining
|
neuper@42070
|
54 |
|
neuper@42070
|
55 |
\renewcommand{\headrulewidth}{0mm}
|
neuper@42070
|
56 |
\renewcommand{\footrulewidth}{0mm}
|
neuper@42070
|
57 |
\fancyhf{}
|
neuper@42070
|
58 |
|
neuper@42070
|
59 |
\fancyhead[R]{\thepage}
|
neuper@42070
|
60 |
|
neuper@42070
|
61 |
\fancyhead[L]{
|
neuper@42070
|
62 |
\parbox[t]{0.8\textwidth}{\nouppercase{\leftmark}}
|
neuper@42070
|
63 |
}
|
neuper@42070
|
64 |
|
neuper@42070
|
65 |
|
neuper@42070
|
66 |
% \usepackage{tabularx} % for better tables
|
neuper@42070
|
67 |
\usepackage{multirow}
|
neuper@42070
|
68 |
\usepackage{listings} % for listings of source code
|
neuper@42070
|
69 |
\usepackage{amsmath}
|
neuper@42070
|
70 |
|
neuper@42070
|
71 |
|
Walther@60710
|
72 |
\usepackage[austrian,english]{babel} % q_q babel *before* natbib or jurabib
|
neuper@42070
|
73 |
|
neuper@42070
|
74 |
|
neuper@42070
|
75 |
\usepackage[square]{natbib} % natbib but with my own knat.bst
|
neuper@42070
|
76 |
% made with the custom-bib package
|
neuper@42070
|
77 |
|
neuper@42070
|
78 |
\usepackage{url}
|
neuper@42070
|
79 |
\def\UrlFont{\small\ttfamily}
|
neuper@42070
|
80 |
|
neuper@42070
|
81 |
\usepackage{latexsym}
|
neuper@42070
|
82 |
|
neuper@42070
|
83 |
\usepackage{color}
|
neuper@42070
|
84 |
\definecolor{lightgrey}{gray}{0.8}
|
neuper@42070
|
85 |
% \definecolor{darkgreen}{rgb}{0,0.2,0}
|
neuper@42070
|
86 |
% \definecolor{darkblue}{rgb}{0,0,0.2}
|
neuper@42070
|
87 |
% \definecolor{darkred}{rgb}{0.2,0,0}
|
neuper@42070
|
88 |
|
neuper@42070
|
89 |
|
neuper@42070
|
90 |
|
neuper@42070
|
91 |
\usepackage{ifpdf}
|
neuper@42070
|
92 |
|
neuper@42070
|
93 |
%begin{latexonly}
|
neuper@42070
|
94 |
\ifpdf
|
neuper@42070
|
95 |
% pdflatex
|
neuper@42070
|
96 |
\usepackage[pdftex]{graphicx}
|
neuper@42070
|
97 |
\DeclareGraphicsExtensions{.pdf,.jpg,.png}
|
neuper@42070
|
98 |
\pdfcompresslevel=9
|
neuper@42070
|
99 |
\pdfpageheight=297mm
|
neuper@42070
|
100 |
\pdfpagewidth=210mm
|
neuper@42070
|
101 |
\usepackage{rotating} % sidewaystable
|
neuper@42070
|
102 |
\usepackage[ % hyperref should be last package loaded
|
neuper@42070
|
103 |
pdftex,
|
neuper@42070
|
104 |
pdftitle={Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving},
|
neuper@42070
|
105 |
pdfsubject={Master's Thesis},
|
neuper@42070
|
106 |
pdfauthor={Elisabeth Joebstl},
|
neuper@42070
|
107 |
pdfkeywords={Model-Based Testing, Conformance Testing, Automated Test Case Generation, Input Output Symbolic Transition Systems, Symbolic Execution, SMT Solving},
|
neuper@42070
|
108 |
bookmarks,
|
neuper@42070
|
109 |
bookmarksnumbered,
|
neuper@42070
|
110 |
linktocpage,
|
neuper@42070
|
111 |
pagebackref,
|
neuper@42070
|
112 |
colorlinks,
|
neuper@42070
|
113 |
linkcolor=black,
|
neuper@42070
|
114 |
anchorcolor=black,
|
neuper@42070
|
115 |
citecolor=black,
|
neuper@42070
|
116 |
urlcolor=black,
|
neuper@42070
|
117 |
pdfview={FitH},
|
neuper@42070
|
118 |
pdfstartview={Fit},
|
neuper@42070
|
119 |
pdfpagemode=UseOutlines, % open bookmarks in Acrobat
|
neuper@42070
|
120 |
plainpages=false, % avoids duplicate page number problem
|
neuper@42070
|
121 |
pdfpagelabels, % avoids duplicate page number problem
|
neuper@42070
|
122 |
]{hyperref}
|
neuper@42070
|
123 |
|
neuper@42070
|
124 |
\renewcommand*{\backref}[1]{}
|
neuper@42070
|
125 |
\renewcommand*{\backrefalt}[4]{
|
neuper@42070
|
126 |
\ifcase #1
|
neuper@42070
|
127 |
(Not cited.)
|
neuper@42070
|
128 |
\or
|
neuper@42070
|
129 |
(Cited on page~#2.)
|
neuper@42070
|
130 |
\else
|
neuper@42070
|
131 |
(Cited on pages~#2.)
|
neuper@42070
|
132 |
\fi
|
neuper@42070
|
133 |
}
|
neuper@42070
|
134 |
|
neuper@42070
|
135 |
\renewcommand*{\backrefsep}{, }
|
neuper@42070
|
136 |
\renewcommand*{\backreftwosep}{ and~}
|
neuper@42070
|
137 |
\renewcommand*{\backreflastsep}{ and~}
|
neuper@42070
|
138 |
|
neuper@42070
|
139 |
\else
|
neuper@42070
|
140 |
% latex
|
neuper@42070
|
141 |
\usepackage{rotating} % sidewaystable
|
neuper@42070
|
142 |
\usepackage{graphicx}
|
neuper@42070
|
143 |
\DeclareGraphicsExtensions{.eps}
|
neuper@42070
|
144 |
\fi
|
neuper@42070
|
145 |
%end{latexonly}
|
neuper@42070
|
146 |
|
neuper@42070
|
147 |
|
neuper@42070
|
148 |
% \includeonly{intro,biblio} % selective inclusion
|
neuper@42070
|
149 |
|
neuper@42070
|
150 |
|
neuper@42070
|
151 |
|
neuper@42070
|
152 |
\newcommand{\halfh}{9.5cm} % height of figures for 2 per page
|
neuper@42070
|
153 |
\newcommand{\thirdh}{6cm} % height of figures for 3 per page
|
neuper@42070
|
154 |
|
neuper@42070
|
155 |
|
neuper@42070
|
156 |
\setlength{\parskip}{3pt plus 1pt minus 0pt} % vert. space before a paragraph
|
neuper@42070
|
157 |
|
neuper@42070
|
158 |
|
neuper@42070
|
159 |
\setcounter{tocdepth}{2} % lowest section level entered in ToC % TODO FIXXME: wieder auf 1 zurücksetzen?
|
neuper@42070
|
160 |
\setcounter{secnumdepth}{2} % lowest section level still numbered
|
neuper@42070
|
161 |
|
neuper@42070
|
162 |
|
neuper@42070
|
163 |
\input{thesis-macros}
|
neuper@42070
|
164 |
|
neuper@42070
|
165 |
|
neuper@42070
|
166 |
% Reduce vertical distance between items
|
neuper@42070
|
167 |
% itemize
|
neuper@42070
|
168 |
\let\origitemize\itemize
|
neuper@42070
|
169 |
\def\itemize{\origitemize\itemsep0pt}
|
neuper@42070
|
170 |
%enumerate
|
neuper@42070
|
171 |
\let\origenumerate\enumerate
|
neuper@42070
|
172 |
\def\enumerate{\origenumerate\itemsep0pt}
|
neuper@42070
|
173 |
|
neuper@42070
|
174 |
|
neuper@42070
|
175 |
% FIXXME: bessere Positionierung der Graphiken
|
neuper@42070
|
176 |
%\setcounter{totalnumber}{8}
|
neuper@42070
|
177 |
%\setcounter{topnumber}{5}
|
neuper@42070
|
178 |
%\setcounter{bottomnumber}{5}
|
neuper@42070
|
179 |
|
neuper@42070
|
180 |
%\renewcommand{\topfraction}{0.999}
|
neuper@42070
|
181 |
%\renewcommand{\bottomfraction}{0.999}
|
neuper@42070
|
182 |
%\renewcommand{\textfraction}{0.0005}
|
neuper@42070
|
183 |
|