Probabilistically Analysable Real-Time Systems

Eitan Farchi

Eitan Farchi, Ph.D. has been with the IBM HAFSa Research Laboratory since 1992; there he led a project to improve the performance of operating systems. He is currently involved in software testing and developing coverage-directed tools for testing concurrent and distributed programs. Dr. Farchi is a frequent speaker at software testing conferences, is the author of a tutorial on the testing of distributed components, and teaches software engineering at the University of HAFSa.