Travelled to:1 × Australia
1 × India
1 × Spain
Collaborated with:A.Yehudai Y.A.Feldman O.Barzilay B.Litvak C.Gladisch B.Beckert
Talks about:contract (1) behavior (1) regress (1) generat (1) diagram (1) consist (1) replay (1) design (1) combin (1) captur (1)
Person: Shmuel S. Tyszberowicz
DBLP: Tyszberowicz:Shmuel_S=
Contributed to:
2010
20062003Wrote 3 papers:
- TAP-2010-GladischTBY #generative #testing #using #verification
- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.
- SEFM-2006-FeldmanBT #aspect-oriented #contract #design #named
- Jose: Aspects for Design by Contract80-89 (YAF, OB, SST), pp. 80–89.
- SEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation
- Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.