Tihomir Gvero
发表
Viktor Kuncak,
S. Khurshid,
D. Marinov,
2008
.
Ruzica Piskac,
Viktor Kuncak,
Tihomir Gvero,
2013,
PLDI.
Viktor Kuncak,
Tihomir Gvero,
Tihomir Gvero,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2008
.
Ruzica Piskac,
Viktor Kuncak,
Tihomir Gvero,
2013,
PLDI.
Viktor Kuncak,
Tihomir Gvero,
Tihomir Gvero,
2015,
OOPSLA.
Raúl A. Santelices,
William G. J. Halfond,
Michael L. Collard,
2009,
2022 IEEE PES/IAS PowerAfrica.
Darko Marinov,
Brett Daniel,
Tihomir Gvero,
2010,
ISSTA '10.
Sarfraz Khurshid,
Viktor Kuncak,
Darko Marinov,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Sarfraz Khurshid,
Darko Marinov,
Milos Gligoric,
2009,
2009 International Conference on Software Testing Verification and Validation.
Tihomir Gvero,
Tihomir Gvero,
2015
.
Ruzica Piskac,
Viktor Kuncak,
Tihomir Gvero,
2011,
CAV.
Marcelo d’Amorim,
S. Khurshid,
D. Marinov,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
R. Piskac,
I. Kuraj,
Tihomir Gvero,
2013,
PLDI.
Viktor Kuncak,
Tihomir Gvero,
Tihomir Gvero,
2014
.