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 × 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 DBLP: Tyszberowicz:Shmuel_S=

Contributed to:

TAP 20102010
SEFM 20062006
SEFM 20032003

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

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.