Travelled to:1 × Denmark
1 × Italy
1 × Norway
1 × South Africa
1 × United Kingdom
7 × USA
Collaborated with:E.Farchi A.Ziv E.Yom-Tov R.Tzoref M.B.Cohen Y.Yadin O.Shehory S.Fine G.Ratsaby B.Sterin Y.Adler O.Raz A.Zlotnick M.Goldstein R.Tzoref-Brill S.Hoory O.Lachish E.Marcus A.Bron Y.Magid Y.Nir R.Grinwald E.Harel M.Orgad N.Behar N.Steindler M.Klausner D.Pelleg M.Shochat
Talks about:coverag (6) analysi (4) function (2) program (2) practic (2) concurr (2) automat (2) improv (2) design (2) verif (2)
Person: Shmuel Ur
DBLP: Ur:Shmuel
Contributed to:
20112010
2009
2008
20082007
2005
20042002
200219991998Wrote 13 papers:
- ICSE-2011-AdlerBRSSUZ #analysis #scalability #test coverage
- Code coverage analysis in practice for large systems (YA, NB, OR, OS, NS, SU, AZ), pp. 736–745.
- ICSE-2010-CohenU #combinator #design
- Combinatorial test design in practice (MBC, SU), pp. 495–496.
- ICSE-2010-GoldsteinSTU #throughput
- Improving throughput via slowdowns (MG, OS, RTB, SU), pp. 11–20.
- ISSTA-2009-AdlerFKPRSUZ #analysis #string #test coverage #using
- Advanced code coverage analysis using substring holes (YA, EF, MK, DP, OR, MS, SU, AZ), pp. 37–46.
- ASE-2008-Yom-TovTUH #automation #concurrent #debugging #random #source code
- Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections (EYT, RT, SU, SH), pp. 307–316.
- ICST-2008-FarchiU
- Selective Homeworkless Reviews (EF, SU), pp. 404–413.
- ISSTA-2007-TzorefUY #automation #concurrent #debugging
- Instrumenting where it hurts: an automatic concurrent debugging technique (RT, SU, EYT), pp. 27–38.
- PPoPP-2005-BronFMNU
- Applications of synchronization coverage (AB, EF, YM, YN, SU), pp. 206–212.
- DAC-2004-FineUZ #functional #probability #verification
- Probabilistic regression suites for functional verification (SF, SU, AZ), pp. 49–54.
- DAC-2002-LachishMUZ #analysis #functional
- Hole analysis for functional coverage data (OL, EM, SU, AZ), pp. 807–812.
- FME-2002-RatsabySU #analysis
- Improvements in Coverability Analysis (GR, BS, SU), pp. 41–56.
- DAC-1999-UrY #architecture #generative #source code
- Micro Architecture Coverage Directed Generation of Test Programs (SU, YY), pp. 175–180.
- DAC-1998-GrinwaldHOUZ #design #tool support #verification
- User Defined Coverage — A Tool Supported Methodology for Design Verification (RG, EH, MO, SU, AZ), pp. 158–163.