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: Yehudai:Amiram
Contributed to:
2011
2010
2009
2008
2003
1997
19821981Wrote 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.