BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ur:Shmuel

Contributed to:

ICSE 20112011
ICSE 20102010
ISSTA 20092009
ASE 20082008
ICST 20082008
ISSTA 20072007
PPoPP 20052005
DAC 20042004
DAC 20022002
FME 20022002
DAC 19991999
DAC 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.