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 × Denmark
1 × France
1 × Hungary
1 × Israel
1 × Spain
1 × Switzerland
Collaborated with:
O.Barzilay O.Hazzan S.S.Tyszberowicz Y.Phink Y.Krevner Y.Itzhaik B.Litvak A.H.Eden J.Y.Gil C.Gladisch B.Beckert
Talks about:
use (2) profession (1) procedur (1) behavior (1) virtual (1) theorem (1) support (1) softwar (1) regress (1) reflect (1)

Person: Amiram Yehudai

DBLP DBLP: Yehudai:Amiram

Contributed to:

ESEC/FSE 20112011
TAP 20102010
ITiCSE 20092009
TOOLS Europe 20082008
SEFM 20032003
ASE 19971997
ICALP 19821982
ICALP 19811981

Wrote 8 papers:

ESEC-FSE-2011-BarzilayHY #developer #social #social media #using
Using social media to study the diversity of example usage among professional developers (OB, OH, AY), pp. 472–475.
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.
ITiCSE-2009-BarzilayHY #evaluation #re-engineering
Evaluation of a software engineering course by reflection (OB, OH, AY), pp. 273–277.
TOOLS-EUROPE-2008-PhinkY #aspect-oriented #virtual machine
Virtual Machine Support for Stateful Aspects (YP, AY), pp. 80–99.
SEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation
Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
ASE-1997-EdenYG #automation #design pattern #precise #specification
Precise Specification and Automatic Application of Design Patterns (AHE, AY, JYG), pp. 143–152.
ICALP-1982-KrevnerY #precedence #theorem
An Iteration Theorem for Simple Precedence Languages (YK, AY), pp. 360–368.
ICALP-1981-ItzhaikY #equivalence #linear
A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (YI, AY), pp. 229–237.

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.