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: Tzoref:Rachel
Contributed to:
2008
2007
2006Wrote 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.