Adam Kiezun

	2011
18		Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19
17		Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter: Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33(3): 9 (2011)
	2010
16		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36(4): 474-494 (2010)
	2009
15		Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst: Automatic creation of SQL Injection and cross-site scripting attacks. ICSE 2009: 199-209
14		Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: a solver for string constraints. ISSTA 2009: 105-116
13		Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst: Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16(1): 145-192 (2009)
	2008
12		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding bugs in dynamic web applications. ISSTA 2008: 261-272
11		Patrice Godefroid, Adam Kiezun, Michael Y. Levin: Grammar-based whitebox fuzzing. PLDI 2008: 206-215
10		Shay Artzi, Adam Kiezun, Noam Shomron: miRNAminer: A tool for homologous microRNA gene search. BMC Bioinformatics 9: (2008)
	2007
9		Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst: Combined static and dynamic mutability analysis. ASE 2007: 104-113
8		Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst: Object and reference immutability using java generics. ESEC/SIGSOFT FSE 2007: 75-84
7		Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
6		Robert M. Fuhrer, Markus Keller, Adam Kiezun: Advanced Refactoring in the Eclipse JDT: Past, Present, and Future. WRT 2007: 30-31
	2005
5		Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller: Efficiently Refactoring Java Applications to Use Generic Libraries. ECOOP 2005: 71-96
4		Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller: Generics-related refactorings in eclipse. OOPSLA Companion 2005: 170
	2004
3		Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst: Converting java programs to use generic libraries. OOPSLA 2004: 15-34
2		Robert M. Fuhrer, Frank Tip, Adam Kiezun: Advanced refactorings in eclipse. OOPSLA Companion 2004: 8
	2003
1		Frank Tip, Adam Kiezun, Dirk Bäumer: Refactoring for generalization using type constraints. OOPSLA 2003: 13-26

Coauthor Index

1	Mahmood Ali	[8]
2	Shay Artzi	[8] [9] [10] [12] [13] [16] [18]
3	Ittai Balaban	[17]
4	Dirk Bäumer	[1]
5	Danny Dig	[12] [16]
6	Julian Dolby	[5] [12] [16]
7	Alan Donovan	[3]
8	Michael D. Ernst	[3] [7] [8] [9] [12] [13] [14] [15] [16] [17] [18]
9	Robert M. Fuhrer	[2] [4] [5] [6] [7] [17]
10	Vijay Ganesh	[14] [18]
11	David Glasser	[9]
12	Patrice Godefroid	[11]
13	Philip J. Guo	[14] [15] [18]
14	Pieter Hooimeijer	[14] [18]
15	Karthick Jayaraman	[15]
16	Markus Keller	[4] [5] [6]
17	Michael Y. Levin	[11]
18	Amit M. Paradkar	[12] [16]
19	Alex Potanin	[8]
20	Jaime Quinonez	[13]
21	Noam Shomron	[10]
22	Bjorn De Sutter	[17]
23	Frank Tip	[1] [2] [4] [5] [7] [12] [16] [17]
24	Matthew S. Tschantz	[3]
25	Yoav Zibin	[8]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page