-
Notifications
You must be signed in to change notification settings - Fork 2
/
tools.bib
141 lines (128 loc) · 4.89 KB
/
tools.bib
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
@inproceedings{Ayewah:2010:GFF:1831708.1831738,
author = {Ayewah, Nathaniel and Pugh, William},
title = {The {G}oogle {F}ind{B}ugs fixit},
crossref = {issta:2010},
pages = {241--252},
numpages = {12},
url = {http://doi.acm.org/10.1145/1831708.1831738},
doi = {10.1145/1831708.1831738},
acmid = {1831738},
keywords = {bug patterns, bugs, false positives, findbugs, java,
software defects, software quality, static analysis},
}
@article{Ayewah:2008:USA:1439186.1439221,
author = {Ayewah, Nathaniel and Hovemeyer, David and Morgenthaler, J. David and Penix, John and Pugh, William},
title = {Using Static Analysis to Find Bugs},
journal = {IEEE Softw.},
issue_date = {September 2008},
volume = {25},
number = {5},
month = sep,
year = {2008},
issn = {0740-7459},
pages = {22--29},
numpages = {8},
url = {http://dx.doi.org/10.1109/MS.2008.130},
doi = {10.1109/MS.2008.130},
acmid = {1439221},
publisher = {IEEE Computer Society Press},
address = {Los Alamitos, CA, USA},
keywords = {FindBugs, bug patterns, code quality, software defects,
software quality, static analysis, static analysis,
FindBugs, code quality, bug patterns, software
defects, software quality},
}
@inproceedings{Ayewah:2007:UFP:1297846.1297897,
author = {Ayewah, Nathaniel and Pugh, William and Morgenthaler, J. David and Penix, John and Zhou, YuQian},
title = {Using {F}ind{B}ugs on production software},
crossref = {oopsla:2007:c},
pages = {805--806},
numpages = {2},
url = {http://doi.acm.org/10.1145/1297846.1297897},
doi = {10.1145/1297846.1297897},
acmid = {1297897},
keywords = {FindBugs, Google, Java, bug patterns, bugs, false
positives, software defects, software quality,
static analysis},
}
@inproceedings{Ayewah:2007:ESA:1251535.1251536,
author = {Ayewah, Nathaniel and Pugh, William and Morgenthaler, J. David and Penix, John and Zhou, YuQian},
title = {Evaluating static analysis defect warnings on production software},
crossref = {paste:2007},
pages = {1--8},
numpages = {8},
url = {http://doi.acm.org/10.1145/1251535.1251536},
doi = {10.1145/1251535.1251536},
acmid = {1251536},
keywords = {FindBugs, Java, bug patterns, bugs, false positives, software defects, software quality, static analysis},
}
@inproceedings{Ayewah:2010:NDA:1806672.1806686,
author = {Ayewah, Nathaniel and Pugh, William},
title = {Null dereference analysis in practice},
crossref = {paste:2010},
pages = {65--72},
numpages = {8},
url = {http://doi.acm.org/10.1145/1806672.1806686},
doi = {10.1145/1806672.1806686},
acmid = {1806686},
keywords = {null pointer dereference, static analysis},
}
@article{Bruneton2002asm,
author = {Bruneton, Eric and Lenglet, Romain and Coupaye, Thierry},
title = {{ASM}: a code manipulation tool to implement adaptable systems},
journal = {Adaptable and extensible component systems},
volume = {30},
year = {2002}
}
@misc{www:findbugs,
title = {{F}ind{B}ugs},
howpublished = {\url{http://findbugs.sourceforge.net/}}
}
@misc{www:pmd,
title = {{PMD} source code analyzer},
howpublished = {\url{http://pmd.sourceforge.net/}}
}
@misc{www:maven,
title = {{A}pache {M}aven software project management and comprehension tool},
howpublished = {\url{http://maven.apache.org/}}
}
@misc{www:gradle,
title = {{G}radle build automation system},
howpublished = {\url{http://gradle.org/}}
}
@misc{www:ant,
title = {{A}pache {A}nt\texttrademark{}},
howpublished = {\url{http://ant.apache.org/}}
}
@misc{www:wala,
title = {{T.J.} {W}atson Libraries for Analysis ({WALA})},
author = {Stephen J. Fink},
howpublished = {\url{http://wala.sourceforge.net}},
}
@inproceedings{dacapo:oopsla2006,
author = {Blackburn, Stephen M. and Garner, Robin and Hoffmann,
Chris and Khang, Asjad M. and McKinley, Kathryn
S. and Bentzur, Rotem and Diwan, Amer and Feinberg,
Daniel and Frampton, Daniel and Guyer, Samuel Z. and
Hirzel, Martin and Hosking, Antony and Jump, Maria
and Lee, Han and Moss, J. Eliot B. and Phansalkar,
Aashish and Stefanovi\'{c}, Darko and VanDrunen,
Thomas and von Dincklage, Daniel and Wiedermann,
Ben},
title = {The {D}a{C}apo benchmarks: {J}ava benchmarking development and analysis},
pages = {169--190},
numpages = {22},
url = {http://doi.acm.org/10.1145/1167473.1167488},
doi = {10.1145/1167473.1167488},
acmid = {1167488},
keywords = {DaCapo, Java, SPEC, benchmark, methodology},
crossref = {oopsla:2006},
}
@conference{chord,
title = {{C}hord: A Versatile Platform for Program Analysis},
author = {Mayur Naik},
booktitle = {2011 ACM SIGPLAN Conf. on {P}rogramming {L}anguage {D}esign and {I}mplementation},
year = {2011},
month = jun,
note = {Tutorial},
}