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