Ph.D. Thesis
Carnegie Mellon University, 1994
Title: Decision Trees, Order Constraints, and Orders
Thesis advisors:
- Herbert Simon, Carnegie Mellon University (Nobel Prize and Turing award winner)
- Mike Trick, Carnegie Mellon University
Editorials for books or special issues
- Shmuel Ur, Eyal Bin, Yaron Wolfsthal: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Springer 2006
- Eyal Bin, Shmuel Ur, Avi Ziv: Hardware and Software Verification and Testing, Second International Haifa Verification Conference, Haifa, Israel, October 23-26, 2006, Revised Selected Papers, Springer 2007
- Editor of Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD), Concurrency and Computation: Practice and Experience, DOI: 10.1002/cpe.1062
Publicly available tools Shmuel has helped develop
- Focus – A functional coverage tool. Shmuel has been in charge of Focus since its inception. He has been involved since then with the hardware verification department verification tools. Download
- ConTest – A tool for testing and debugging concurrent Java applications. Project member working mainly on the theory, algorithms, and user support. Download
- An open source Simulation Model of Software Testing tool for simulating different software development paradigms that I designed. Download (password-protected site)