Tihomir Gvero

	2011
6		Tihomir Gvero, Viktor Kuncak, Ruzica Piskac: Interactive Synthesis of Code Snippets. CAV 2011: 418-423
5		Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov: ReAssert: a tool for repairing broken unit tests. ICSE 2011: 1010-1012
	2010
4		Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov: Test generation through programming in UDITA. ICSE (1) 2010: 225-234
3		Brett Daniel, Tihomir Gvero, Darko Marinov: On test repair using symbolic execution. ISSTA 2010: 207-218
	2009
2		Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid: Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60
	2008
1		Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866

Coauthor Index

1	Brett Daniel	[3] [5]
2	Danny Dig	[5]
3	Milos Gligoric	[1] [2] [4]
4	Vilas Jagannath	[4] [5]
5	Johnston Jiaa	[5]
6	Sarfraz Khurshid	[1] [2] [4]
7	Viktor Kuncak	[4] [6]
8	Steven Lauterburg	[1] [2]
9	Darko Marinov	[1] [2] [3] [4] [5]
10	Damion Mitchell	[5]
11	Jurand Nogiec	[5]
12	Ruzica Piskac	[6]
13	Shin Hwei Tan	[5]
14	Marcelo d'Amorim	[1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page