Concurrent bug patterns and how to test them E Farchi, Y Nir, S Ur Proceedings international parallel and distributed processing symposium, 7 pp., 2003 | 306 | 2003 |
Multithreaded Java program test generation O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur IBM systems journal 41 (1), 111-125, 2002 | 281 | 2002 |
Framework for testing multi‐threaded Java programs O Edelstein, E Farchi, E Goldin, Y Nir, G Ratsaby, S Ur Concurrency and Computation: Practice and Experience 15 (3‐5), 485-499, 2003 | 177 | 2003 |
User defined coverage—a tool supported methodology for design verification R Grinwald, E Harel, M Orgad, S Ur, A Ziv Proceedings of the 35th annual Design Automation Conference, 158-163, 1998 | 158 | 1998 |
Method and system for generating multidimensional maps of a scene using a plurality of sensors of various types Y Nehmadi, S Mangan, BENE Shahar, A Cohen, R Cohen, L Goldentouch, ... US Patent 10,445,928, 2019 | 145 | 2019 |
Micro architecture coverage directed generation of test programs S Ur, Y Yadin Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 175-180, 1999 | 133 | 1999 |
Coverage-directed test generation using symbolic techniques D Geist, M Farkas, A Landver, Y Lichtenstein, S Ur, Y Wolfsthal International Conference on Formal Methods in Computer-Aided Design, 143-158, 1996 | 129 | 1996 |
Applications of synchronization coverage A Bron, E Farchi, Y Magid, Y Nir, S Ur Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of …, 2005 | 117 | 2005 |
Facilitating simulated purchases of items by virtual representations of participants in computer-based simulations S Ur US Patent 7,580,888, 2009 | 114 | 2009 |
Method and system for identifying documents generated by an unauthorized software copy S Ur US Patent 5,568,550, 1996 | 111 | 1996 |
Towards a framework and a benchmark for testing tools for multi‐threaded programs Y Eytani, K Havelund, SD Stoller, S Ur Concurrency and Computation: Practice and Experience 19 (3), 267-279, 2007 | 103 | 2007 |
Hole analysis for functional coverage data O Lachish, E Marcus, S Ur, A Ziv Proceedings of the 39th annual Design Automation Conference, 807-812, 2002 | 97 | 2002 |
Highly scalable multi objective test suite minimisation using graphics cards S Yoo, M Harman, S Ur Search Based Software Engineering: Third International Symposium, SSBSE 2011 …, 2011 | 92 | 2011 |
Healing data races on-the-fly B Krena, Z Letko, R Tzoref, S Ur, T Vojnar proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems …, 2007 | 88 | 2007 |
Method and apparatus for collecting persistent coverage data across software versions E Farchi, T Pavela, S Ur, A Ziv US Patent App. 09/990,802, 2003 | 83 | 2003 |
Method and system for presenting data structures graphically D Orell, S Ur, D Zernick, Z Karni US Patent 6,373,484, 2002 | 82 | 2002 |
Method and system for integrating test coverage measurements with model based test generation E Farchi, D Geist, A Hartman, P Kram, K Nagin, Y Shaham-Gafni, S Ur US Patent 7,272,752, 2007 | 74 | 2007 |
Race detection for parallel software S Ur, E Farchi, G Ratsaby US Patent 6,851,075, 2005 | 73 | 2005 |
Using OCR to enter graphics as text into a clipboard S Ur US Patent 6,249,283, 2001 | 73 | 2001 |
Deadlocks: From exhibiting to healing Y Nir-Buchbinder, R Tzoref, S Ur Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary …, 2008 | 70 | 2008 |