-
Notifications
You must be signed in to change notification settings - Fork 2
/
report.tex
167 lines (135 loc) · 3.84 KB
/
report.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
%%%% Proceedings format for most of ACM conferences (with the exceptions listed below) and all ICPS volumes.
\documentclass[sigconf]{acmart}
%%%% As of March 2017, [siggraph] is no longer used. Please use sigconf (above) for SIGGRAPH conferences.
%%%% Proceedings format for SIGPLAN conferences
% \documentclass[sigplan, anonymous, review]{acmart}
%%%% Proceedings format for SIGCHI conferences
% \documentclass[sigchi, review]{acmart}
%%%% To use the SIGCHI extended abstract template, please visit
% https://www.overleaf.com/read/zzzfqvkmrfzn
\usepackage{booktabs} % For formal tables
% lists
\usepackage{enumitem}
% colors
\definecolor{diff delete}{HTML}{C43C55}
\definecolor{diff add}{HTML}{14B03D}
% Source code
\usepackage{listingsutf8}
\usepackage{lstautogobble}
\usepackage{lstlinebgrd}
%% Java
%%% block
\lstnewenvironment{Java}[1][]{%
\lstset{%
autogobble=true,%
columns=fullflexible,%
language=java,%
frame=tb,%
captionpos=b,%
#1%
}%
}{}
%%% inline
\newcommand{\java}[1]{%
\lstinline[%
columns=fullflexible,%
language=java,%
]{#1}%
}
%% JVM
%%% block
\lstnewenvironment{JVM}[1][]{%
\lstset{%
autogobble=true,%
columns=fullflexible,%
language={},%
frame=tb,%
captionpos=b,%
#1%
}%
}{}
%%% inline
\newcommand{\jvm}[1]{%
\lstinline[
columns=fullflexible,%
language={},%
]{#1}%
}
% Macros
\makeatletter % changes the catcode of '@' to 11
\newcommand\etal{et al\@ifnextchar.{}{.\@}}
\newcommand\etc{etc\@ifnextchar.{}{.\@}}
\newcommand\ie{i.e.\@}
\newcommand\eg{e.g.\@}
\makeatother % restores the catcode of '@' to 12
% Copyright
%\setcopyright{none}
%\setcopyright{acmcopyright}
%\setcopyright{acmlicensed}
\setcopyright{rightsretained}
%\setcopyright{usgov}
%\setcopyright{usgovmixed}
%\setcopyright{cagov}
%\setcopyright{cagovmixed}
% DOI
% \acmDOI{10.475/123_4}
% ISBN
% \acmISBN{123-4567-24-567/08/06}
%Conference
% \acmConference[WOODSTOCK'97]{ACM Woodstock conference}{July 1997}{El
% Paso, Texas USA}
% \acmYear{1997}
% \copyrightyear{2016}
% \acmArticle{4}
% \acmPrice{15.00}
% These commands are optional
% \acmBooktitle{Transactions of the ACM Woodstock conference}
% \editor{Jennifer B. Sartor}
% \editor{Theo D'Hondt}
% \editor{Wolfgang De Meuter}
\begin{document}
\title{Augmenting the PIT Mutation Testing Tool}
\subtitle{Implementing New Mutation Operators and Code-Fixing Rules}
\author{Khoa Nguyen}
\affiliation{%
\institution{The University of Texas at Dallas}
}
\email{kxn161730@utdallas.edu}
\author{Leejia James}
\affiliation{%
\institution{The University of Texas at Dallas}
}
\email{lxj171130@utdallas.edu}
\author{Joseph LaFreniere}
\affiliation{%
\institution{The University of Texas at Dallas}
}
\email{lafrenierejm@utdallas.edu}
\begin{abstract}
PIT is an open-source, state-of-the-art mutation testing system for Java and the JVM.
The first aim of this project is to augment PIT by implementing additional mutators, allowing PIT to uncover additional weaknesses in test suites and faults in programs.
This project's second aim is to detect when a mutant generated by PIT causes a previously-failing test to pass;
we were unable to complete this second aim.
\end{abstract}
%
% The code below should be generated by the tool at
% http://dl.acm.org/ccs.cfm
%
\begin{CCSXML}
<ccs2012>
<concept>
<concept_id>10011007.10011074.10011099.10011102.10011103</concept_id>
<concept_desc>Software and its engineering~Software testing and debugging</concept_desc>
<concept_significance>500</concept_significance>
</concept>
</ccs2012>
\end{CCSXML}
\ccsdesc[500]{Software and its engineering~Software testing and debugging}
\keywords{PIT, mutator, mutation testing, JVM, bytecode}
\maketitle
\input{section/introduction}
\input{section/first_phase}
\input{section/second_phase}
\bibliographystyle{ACM-Reference-Format}
\bibliography{bibliography.bib}
\end{document}