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
(69)
Ur Shmuel
14
Shmuel Ur
8
Yosi Ben-Asher
7
Yarden Nir
7
Orna Raz
5
Conferences
(15)
ISSTA
10
IPDPS(IPPS)
6
HVC
4
SIGIR
2
FMCAD
2
Journals
(5)
CONCURRENCY
3
IBMSJ
2
IBMRD
1
IJPP
1
SIAMCOMP
1
Keywords
(103)
Embed
Subscribe
Academic
Authors
Eitan Farchi
Edit
Eitan Farchi
University of Haifa
Publications: 48
|
Citations: 672
|
G-Index: 25
|
H-Index: 11
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
,
Distributed & Parallel Computing
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
69 co-authors
from 1994 to 2010
; Cited by
805 authors
Bing
Cumulative
Annual
Order by:
Publications
(48)
BibTeX
|
RIS
|
RefWorks
Download
Detection of Transactional Memory anomalies using static analysis
(
Citations: 1
)
Bruno C. Teixeira
,
João Lourenço
,
Eitan Farchi
,
Ricardo J. Dias
,
Diogo Sousa
Published in 2010.
Detection of deadlock potentials in multithreaded programs
Rahul Agarwal
,
Saddek Bensalem
,
Eitan Farchi
,
Klaus Havelund
,
Yarden Nir-Buchbinder
,
Scott D. Stoller
,
Shmuel Ur
,
Liqiang Wang
Journal:
Ibm Journal of Research and Development - IBMRD
, vol. 54, no. 5, 2010
Unit testing for concurrent business code
Yao Qi
,
Yarden Nir-Buchbinder
,
Eitan Farchi
,
Raja Das
,
Zhi Da Luo
,
Zhi Gan
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 37-47, 2010
Advanced code coverage analysis using substring holes
(
Citations: 4
)
Yoram Adler
,
Eitan Farchi
,
Moshe Klausner
,
Dan Pelleg
,
Orna Raz
,
Moran Shochat
,
Ur Shmuel
,
Aviad Zlotnick
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 37-46, 2009
Automated substring hole analysis
(
Citations: 2
)
Yoram Adler
,
Eitan Farchi
,
Moshe Klausner
,
Dan Pelleg
,
Orna Raz
,
Moran Shochat
,
Ur Shmuel
,
Aviad Zlotnick
Conference:
International Conference on Software Engineering - ICSE
, pp. 203-206, 2009
Order by:
Citations
(672 times by 468 publications)
Generating tests from B specifications and dynamic selection criteria
(
Citations: 2
)
Jacques Julliand
,
Pierre-Alain Masson
,
Regis Tissot (Régis Tissot)
,
Pierre-Christophe Bué
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 1, pp. 3-19, 2011
Delay-bounded scheduling
(
Citations: 2
)
Michael Emmi
,
Shaz Qadeer
,
Zvonimir Rakamarić
Published in 2011.
Coverage guided systematic concurrency testing
(
Citations: 2
)
Chao Wang
,
Mahmoud Said
,
Aarti Gupta
Conference:
International Conference on Software Engineering - ICSE
, pp. 221-230, 2011
Execution Hijacking: Improving Dynamic Analysis by Flying off Course
(
Citations: 1
)
Petar Tsankov
,
Wei Jin
,
Alessandro Orso
,
Saurabh Sinha
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 200-209, 2011
Generating Data Race Witnesses by an SMT-Based Analysis
(
Citations: 1
)
Mahmoud Said
,
Chao Wang
,
Zijiang Yang
,
Karem Sakallah
Published in 2011.
Comments