Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(13)
Darko Marinov
7
Sarfraz Khurshid
5
Milos Gligoric
5
Viktor Kuncak
4
Vilas Jagannath
3
Conferences
(3)
ICSE
3
ISSTA
1
ICST
1
Keywords
(23)
Embed
Subscribe
Academic
Authors
Tihomir Gvero
Edit
Tihomir Gvero
École Polytechnique Fédérale de Lausanne
Publications: 8
|
Citations: 18
|
G-Index: 4
|
H-Index: 3
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
View FAQ about top research area and research interests
Collaborated with
13 co-authors
from 2008 to 2011
; Cited by
43 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(8)
BibTeX
|
RIS
|
RefWorks
Download
ReAssert: a tool for repairing broken unit tests
Brett Daniel
,
Tihomir Gvero
,
Vilas Jagannath
,
Johnston Jiaa
,
Damion Mitchell
,
Jurand Nogiec
,
Shin Hwei Tan
,
Darko Marinov
Conference:
International Conference on Software Engineering - ICSE
, pp. 1010-1012, 2011
Interactive Synthesis of Code Snippets
Tihomir Gvero
,
Viktor Kuncak
,
Ruzica Piskac
Published in 2011.
Test Generation through Programming in UDITA
(
Citations: 8
)
Milos Gligoric
,
Tihomir Gvero
,
Vilas Jagannath
,
Sarfraz Khurshid
,
Viktor Kuncak
,
Darko Marinov
Conference:
International Conference on Software Engineering - ICSE
, pp. 225-234, 2010
On test repair using symbolic execution
(
Citations: 3
)
Brett Daniel
,
Tihomir Gvero
,
Darko Marinov
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 207-218, 2010
Optimizing Generation of Object Graphs in Java PathFinder
(
Citations: 4
)
Milos Gligoric
,
Tihomir Gvero
,
Steven Lauterburg
,
Darko Marinov
,
Sarfraz Khurshid
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 51-60, 2009
Order by:
Citations
(18 times by 18 publications)
ReAssert: a tool for repairing broken unit tests
Brett Daniel
,
Tihomir Gvero
,
Vilas Jagannath
,
Johnston Jiaa
,
Damion Mitchell
,
Jurand Nogiec
,
Shin Hwei Tan
,
Darko Marinov
Conference:
International Conference on Software Engineering - ICSE
, pp. 1010-1012, 2011
Towards Complete Reasoning about Axiomatic Specifications
Swen Jacobs
,
Viktor Kuncak
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 278-293, 2011
Test Generation through Programming in UDITA
(
Citations: 8
)
Milos Gligoric
,
Tihomir Gvero
,
Vilas Jagannath
,
Sarfraz Khurshid
,
Viktor Kuncak
,
Darko Marinov
Conference:
International Conference on Software Engineering - ICSE
, pp. 225-234, 2010
Automatically repairing test cases for evolving method declarations
(
Citations: 1
)
Mehdi MirzaAghaei
,
Fabrizio Pastore
,
Mauro Pezzè
Conference:
International Conference on Software Maintenance - ICSM
, pp. 1-5, 2010
Testing object-oriented programs using dynamic aspects and non-determinism
(
Citations: 1
)
Michael Achenbach
,
Klaus Ostermann
Published in 2010.
Comments