neuper@42070: \usepackage[ % set page and margin sizes neuper@42070: a4paper, neuper@42070: twoside=false, neuper@42070: top=10mm, neuper@42070: bottom=10mm, neuper@42070: left=20mm, neuper@42070: right=20mm, neuper@42070: bindingoffset=10mm, neuper@42070: head=10mm, neuper@42070: foot=10mm, neuper@42070: headsep=10mm, neuper@42070: footskip=10mm, neuper@42070: includeheadfoot, neuper@42070: ]{geometry} neuper@42070: neuper@42070: \usepackage{times} % use PostScript fonts neuper@42070: %\usepackage{ngerman} % causes ! Illegal parameter number in definition of \grmn@originalTeX. \penalty l.53 \selectlanguage{austrian} neuper@42070: \usepackage{relsize} % relative font sizes \smaller \larger neuper@42070: neuper@42070: \usepackage[iso-8859-1]{inputenx} % so can use Umlaut chars �, � neuper@42070: neuper@42070: \usepackage{textcomp} % symbols such as \texttimes and \texteuro neuper@42070: neuper@42070: \usepackage[bf]{titlesec} neuper@42070: % format chapter captions (vorher \Huge) neuper@42070: \titleformat{\chapter}{\bf\huge}{\thechapter\quad}{0em}{} neuper@42070: \titlespacing*{\chapter}{0em}{-2em}{1.5em} neuper@42070: neuper@42070: % use caption and subfig (caption2 and subfigure are now obsolete) neuper@42070: \usepackage[ neuper@42070: position=bottom, neuper@42070: margin=1cm, neuper@42070: font=small, neuper@42070: labelfont={bf,sf}, neuper@42070: format=hang, neuper@42070: indention=0mm, neuper@42070: ]{caption,subfig} neuper@42070: neuper@42070: \captionsetup[subfigure]{ neuper@42070: margin=0pt, neuper@42070: parskip=0pt, neuper@42070: hangindent=0pt, neuper@42070: indention=0pt, neuper@42070: singlelinecheck=true, neuper@42070: } neuper@42070: neuper@42070: neuper@42070: neuper@42070: % fancyhdr to make nice headers and footers neuper@42070: % and deal with long chapter names neuper@42070: neuper@42070: \usepackage{fancyhdr} % headers and footers neuper@42070: \pagestyle{fancy} % must call to set defaults before redefining neuper@42070: neuper@42070: \renewcommand{\headrulewidth}{0mm} neuper@42070: \renewcommand{\footrulewidth}{0mm} neuper@42070: \fancyhf{} neuper@42070: neuper@42070: \fancyhead[R]{\thepage} neuper@42070: neuper@42070: \fancyhead[L]{ neuper@42070: \parbox[t]{0.8\textwidth}{\nouppercase{\leftmark}} neuper@42070: } neuper@42070: neuper@42070: neuper@42070: % \usepackage{tabularx} % for better tables neuper@42070: \usepackage{multirow} neuper@42070: \usepackage{listings} % for listings of source code neuper@42070: \usepackage{amsmath} neuper@42070: neuper@42070: neuper@42070: \usepackage[austrian,english]{babel} % load babel *before* natbib or jurabib neuper@42070: neuper@42070: neuper@42070: \usepackage[square]{natbib} % natbib but with my own knat.bst neuper@42070: % made with the custom-bib package neuper@42070: neuper@42070: \usepackage{url} neuper@42070: \def\UrlFont{\small\ttfamily} neuper@42070: neuper@42070: \usepackage{latexsym} neuper@42070: neuper@42070: \usepackage{color} neuper@42070: \definecolor{lightgrey}{gray}{0.8} neuper@42070: % \definecolor{darkgreen}{rgb}{0,0.2,0} neuper@42070: % \definecolor{darkblue}{rgb}{0,0,0.2} neuper@42070: % \definecolor{darkred}{rgb}{0.2,0,0} neuper@42070: neuper@42070: neuper@42070: neuper@42070: \usepackage{ifpdf} neuper@42070: neuper@42070: %begin{latexonly} neuper@42070: \ifpdf neuper@42070: % pdflatex neuper@42070: \usepackage[pdftex]{graphicx} neuper@42070: \DeclareGraphicsExtensions{.pdf,.jpg,.png} neuper@42070: \pdfcompresslevel=9 neuper@42070: \pdfpageheight=297mm neuper@42070: \pdfpagewidth=210mm neuper@42070: \usepackage{rotating} % sidewaystable neuper@42070: \usepackage[ % hyperref should be last package loaded neuper@42070: pdftex, neuper@42070: pdftitle={Automating Test Case Generation from Transition Systems via Symbolic Execution and SAT Solving}, neuper@42070: pdfsubject={Master's Thesis}, neuper@42070: pdfauthor={Elisabeth Joebstl}, neuper@42070: pdfkeywords={Model-Based Testing, Conformance Testing, Automated Test Case Generation, Input Output Symbolic Transition Systems, Symbolic Execution, SMT Solving}, neuper@42070: bookmarks, neuper@42070: bookmarksnumbered, neuper@42070: linktocpage, neuper@42070: pagebackref, neuper@42070: colorlinks, neuper@42070: linkcolor=black, neuper@42070: anchorcolor=black, neuper@42070: citecolor=black, neuper@42070: urlcolor=black, neuper@42070: pdfview={FitH}, neuper@42070: pdfstartview={Fit}, neuper@42070: pdfpagemode=UseOutlines, % open bookmarks in Acrobat neuper@42070: plainpages=false, % avoids duplicate page number problem neuper@42070: pdfpagelabels, % avoids duplicate page number problem neuper@42070: ]{hyperref} neuper@42070: neuper@42070: \renewcommand*{\backref}[1]{} neuper@42070: \renewcommand*{\backrefalt}[4]{ neuper@42070: \ifcase #1 neuper@42070: (Not cited.) neuper@42070: \or neuper@42070: (Cited on page~#2.) neuper@42070: \else neuper@42070: (Cited on pages~#2.) neuper@42070: \fi neuper@42070: } neuper@42070: neuper@42070: \renewcommand*{\backrefsep}{, } neuper@42070: \renewcommand*{\backreftwosep}{ and~} neuper@42070: \renewcommand*{\backreflastsep}{ and~} neuper@42070: neuper@42070: \else neuper@42070: % latex neuper@42070: \usepackage{rotating} % sidewaystable neuper@42070: \usepackage{graphicx} neuper@42070: \DeclareGraphicsExtensions{.eps} neuper@42070: \fi neuper@42070: %end{latexonly} neuper@42070: neuper@42070: neuper@42070: % \includeonly{intro,biblio} % selective inclusion neuper@42070: neuper@42070: neuper@42070: neuper@42070: \newcommand{\halfh}{9.5cm} % height of figures for 2 per page neuper@42070: \newcommand{\thirdh}{6cm} % height of figures for 3 per page neuper@42070: neuper@42070: neuper@42070: \setlength{\parskip}{3pt plus 1pt minus 0pt} % vert. space before a paragraph neuper@42070: neuper@42070: neuper@42070: \setcounter{tocdepth}{2} % lowest section level entered in ToC % TODO FIXXME: wieder auf 1 zurücksetzen? neuper@42070: \setcounter{secnumdepth}{2} % lowest section level still numbered neuper@42070: neuper@42070: neuper@42070: \input{thesis-macros} neuper@42070: neuper@42070: neuper@42070: % Reduce vertical distance between items neuper@42070: % itemize neuper@42070: \let\origitemize\itemize neuper@42070: \def\itemize{\origitemize\itemsep0pt} neuper@42070: %enumerate neuper@42070: \let\origenumerate\enumerate neuper@42070: \def\enumerate{\origenumerate\itemsep0pt} neuper@42070: neuper@42070: neuper@42070: % FIXXME: bessere Positionierung der Graphiken neuper@42070: %\setcounter{totalnumber}{8} neuper@42070: %\setcounter{topnumber}{5} neuper@42070: %\setcounter{bottomnumber}{5} neuper@42070: neuper@42070: %\renewcommand{\topfraction}{0.999} neuper@42070: %\renewcommand{\bottomfraction}{0.999} neuper@42070: %\renewcommand{\textfraction}{0.0005} neuper@42070: