BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
E.Yom-Tov S.Ur O.Grumberg S.Hoory
Talks about:
automat (3) concurr (2) debug (2) trajectori (1) instrument (1) dimension (1) techniqu (1) vacuiti (1) project (1) program (1)

Person: Rachel Tzoref

DBLP DBLP: Tzoref:Rachel

Contributed to:

ASE 20082008
ISSTA 20072007
CAV 20062006

Wrote 3 papers:

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.
ISSTA-2007-TzorefUY #automation #concurrent #debugging
Instrumenting where it hurts: an automatic concurrent debugging technique (RT, SU, EYT), pp. 27–38.
CAV-2006-TzorefG #automation #detection #evaluation #refinement
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation (RT, OG), pp. 190–204.

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.