Biographical sketches of authors

Orit Edelstein   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: edelstein@il.ibm.com). Mrs. Edelstein holds B.Sc. and M.Sc. degrees in computer science from the Technion, Israel Institute of Technology. After working for a few years in software development with another company, she joined the IBM Haifa Research Laboratory where she is active in the area of programming languages and software development environments, and where she is currently managing a project in software testing and verification. Her areas of interest also include compilers, code optimization, distributed environments, and object-oriented programming.

Eitan Farchi   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: farchi@il.ibm.com). Dr. Farchi received his Ph.D. degree in mathematics from the University of Haifa, Israel, in 1999. He also holds a B.Sc. degree in mathematics and computer science and an M.Sc. degree in mathematics from the Hebrew University, Jerusalem, Israel. Since 1992 he has been with the IBM Haifa Research Laboratory, where he led an effort toward improving the performance of operating systems. He is currently involved in software testing and in 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 Haifa.

Yarden Nir   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: nir@il.ibm.com). Mr. Nir holds a B.Sc. degree in computer science from the Technion, Israel Institute of Technology. For the past two years he has been working (part time) at the IBM Haifa Research Laboratory, where he participates in the development of software testing tools. He has recently begun his studies for an M.A. degree in philosophy at the University of Haifa.

Gil Ratsaby   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: ratsaby@il.ibm.com). Mr. Ratsaby holds a B.A. degree in computer science from the Technion, Israel Institute of Technology. Since 1999 he has been with the IBM Haifa Research Laboratory where he has worked on the development of software testing tools. Mr. Ratsaby has recently started work toward an advanced degree in computer science, specializing in quantum computing.

Shmuel Ur   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: ur@il.ibm.com). Dr. Ur holds a Ph.D. degree in algorithm optimization and combinatorics from Carnegie Mellon University, Pittsburgh, PA. He also holds B.Sc. and M.Sc. degrees in computer science from the Technion, Israel Institute of Technology. He is currently with the IBM Haifa Research Laboratory in Haifa, Israel where he works in the field of software testing. His main interest is coverage analysis in software testing, a field in which he has published several papers on such topics as functional coverage, minimizing regression suite size, coverage-directed generation, visual code coverage techniques, and coverability. Dr. Ur has also published papers in the fields of hardware testing, artificial intelligence, and algorithms. He holds a number of patents, and he teaches at the Technion and at the University of Haifa.