Amiram Yehudai

Publication Activity (10 Years)

Years Active: 1979-2019
Publications (10 Years): 16

Top Topics

Maintenance Activities

Open Source Projects

Software Maintenance

Execution Traces

Top Venues

Publications

Stanislav Levin, Amiram Yehudai
Visually Exploring Software Maintenance Activities. VISSOFT (2019)
Stanislav Levin, Amiram Yehudai
Processing Large Datasets of Fined Grained Source Code Changes. CoRR (2019)
Stanislav Levin, Amiram Yehudai
Visually Exploring Software Maintenance Activities. CoRR (2019)
Stanislav Levin, Amiram Yehudai
Processing Large Datasets of Fined Grained Source Code Changes. ICSME (2019)
Stanislav Levin, Amiram Yehudai
Towards Software Analytics: Modeling Maintenance Activities. CoRR (2019)
Tim Bell, Paul Tymann, Amiram Yehudai
The Big Ideas in Computer Science for K-12 Curricula. Bull. EATCS 124 (2018)
Stanislav Levin, Amiram Yehudai
The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes. ICSME (2017)
Stanislav Levin, Amiram Yehudai
Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes. PROMISE (2017)
Stanislav Levin, Amiram Yehudai
Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes. CoRR (2017)
Stanislav Levin, Amiram Yehudai
The Co-Evolution of Test Maintenance and Code Maintenance through the lens of Fine-Grained Semantic Changes. CoRR (2017)
Stanislav Levin, Amiram Yehudai
Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles. ICSME (2016)
Stanislav Levin, Amiram Yehudai
Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles. CoRR (2016)
Stanislav Levin, Amiram Yehudai
Alleviating Merge Conflicts with Fine-grained Visual Awareness. CoRR (2015)
Stanislav Levin, Amiram Yehudai
Improving software team collaboration with Synchronized Software Development. CoRR (2015)
Dekel Cohen, Amiram Yehudai
Localization of real world regression Bugs using single execution. CoRR (2015)
Stanislav Levin, Amiram Yehudai
Collaborative Real Time Coding or How to Avoid the Dreaded Merge. CoRR (2015)
Evgeny Vainer, Amiram Yehudai
Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software. CoRR (2014)
Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai
Granulated Code Generation of Interfering Functionalities. FedCSIS (2012)
Alexey Zagalsky, Ohad Barzilay, Amiram Yehudai
Example overflow: using social media for code recommendation. RSSE@ICSE (2012)
Hagai Cibulski, Amiram Yehudai
Regression Test Selection Techniques for Test-Driven Development. ICST Workshops (2011)
Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Syst. Assur. Eng. Manag. 2 (2) (2011)
Ohad Barzilay, Orit Hazzan, Amiram Yehudai
Using social media to study the diversity of example usage among professional developers. SIGSOFT FSE (2011)
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS (2010)
Amiram Yehudai
Perspective on Computer Science Education. ISSEP (2010)
Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai
GenUTest: a unit test and mock aspect generation tool. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Ohad Barzilay, Orit Hazzan, Amiram Yehudai
Evaluation of a software engineering course by reflection. ITiCSE (2009)
Ohad Barzilay, Orit Hazzan, Amiram Yehudai
A Multidimensional Software Engineering Course. IEEE Trans. Educ. 52 (3) (2009)
Yuri Phink, Amiram Yehudai
Virtual Machine Support for Stateful Aspects. TOOLS (46) (2008)
M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai
Refactoring Aspects into Java Code. SwSTE (2007)
Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai
Locating Regression Bugs. Haifa Verification Conference (2007)
Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai
GenUTest: A Unit Test and Mock Aspect Generation Tool. Haifa Verification Conference (2007)
Avi Jencmen, Amiram Yehudai
Fortified Web Services Contracts for Trusted Components. ICWS (2006)
Stella Levin, Amiram Yehudai
Evolutionary Testing: A Case Study. Haifa Verification Conference (2006)
S. Harrusi, Amir Averbuch, Amiram Yehudai
XML Syntax Conscious Compression. DCC (2006)
Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai
Behavioral Consistency Validation of UML Diagrams. SEFM (2003)
Mati Shomrat, Amiram Yehudai
Obvious or not?: regulating architectural decisions using aspect-oriented programming. AOSD (2002)
Vered Gafni, Yishai A. Feldman, Amiram Yehudai
Real-Time Systems Development with MASS. Electron. Notes Theor. Comput. Sci. 25 (1999)
Yariv Aridor, Shimon Cohen, Amiram Yehudai
Design of an Actor Language for Implicit Parallel Programming. ACM SIGPLAN Notices 33 (6) (1998)
Amnon H. Eden, Amiram Yehudai
Patterns of the Agenda. ECOOP Workshops (1997)
Amnon H. Eden, Amiram Yehudai, Joseph Gil
Precise Specification and Automatic Application of Design Patterns. ASE (1997)
Amnon H. Eden, Joseph Gil, Amiram Yehudai
Automating the Application of Design Patterns. J. Object Oriented Program. 10 (2) (1997)
Yariv Aridor, Shimon Cohen, Amiram Yehudai
SYMPAL: a software environment for implicit concurrent object-oriented programming. Object Oriented Syst. 4 (1997)
Shaul Simhi, Vered Gafni, Amiram Yehudai
Combining Reflection and Finite State Diagrams for Design Enforcement. Theory Pract. Object Syst. 2 (4) (1996)
Amiram Yehudai, Fernando Libedinsky
On Tuning Recursive Procedures Softw. Pract. Exp. 25 (9) (1995)
Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai
A High School Program in Computer Science. Computer 28 (10) (1995)
Vered Gafni, Amiram Yehudai, Yishai A. Feldman
Activation-Oriented Specification of Real-Time Systems. FTRTFT (1994)
Valdis Berzins, Luqi, Amiram Yehudai
Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19 (5) (1993)
Eran Gabber, Amir Averbuch, Amiram Yehudai
Portable, Parallelizing Compiler. IEEE Softw. 10 (2) (1993)
Shmuel S. Tyszberowicz, Amiram Yehudai
OBSERV - A Prototyping Language and Environment. ACM Trans. Softw. Eng. Methodol. 1 (3) (1992)
Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai
Specification of user-interfaces using CRUISE/OBSERV. COMPSAC (1991)
Eran Gabber, Amir Averbuch, Amiram Yehudai
Experience with a Portable Parallelizing Pascal Compiler. ICPP (2) (1991)
Yael Maon, Amiram Yehudai
Balance of Many-Valued Transductions and Equivalence Problems. Theor. Comput. Sci. 47 (3) (1986)
Yair Itzhaik, Amiram Yehudai
New Families of Non Real Time DPDA's and their Decidability Results. Theor. Comput. Sci. 34 (1984)
Yair Itzhaik, Amiram Yehudai
An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA Inf. Control. 62 (1) (1984)
Yael Maon, Amiram Yehudai
On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters. Theor. Comput. Sci. 33 (1984)
Yael Krevner, Amiram Yehudai
An Iteration Theorem for Simple Precedence Languages J. ACM 30 (4) (1983)
Yair Itzhaik, Amiram Yehudai
On Containment Problems for Finite-Turn Languages (Extended Abstract). FCT (1983)
Jan Pittl, Amiram Yehudai
Constructing a Realtime Deterministic Pushdown Automaton from a Grammar. Theor. Comput. Sci. 22 (1983)
Amiram Yehudai
A Hierarchy of Real-Time Deterministic Languages and Their Equivalence. J. Comput. Syst. Sci. 24 (1) (1982)
Yael Krevner, Amiram Yehudai
An Iteration Theorem for Simple Precedence Languages (Extended Abstract). ICALP (1982)
Mordechai Ben-Ari, Amiram Yehudai
A methodology for modular use of Ada. ACM SIGPLAN Notices 16 (12) (1981)
Yair Itzhaik, Amiram Yehudai
A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). ICALP (1981)
Michael A. Harrison, Amiram Yehudai
Eliminating Null Rules in Linear Time. Comput. J. 24 (2) (1981)
Amiram Yehudai
Automatic indention versus program formatting. ACM SIGPLAN Notices 15 (10) (1980)
Amiram Yehudai
The Decidability of Equivalence for a Family of Linear Grammars Inf. Control. 47 (2) (1980)
Michael A. Harrison, Amiram Yehudai
A Hierarchy of Deterministic Languages. J. Comput. Syst. Sci. 19 (1) (1979)
Amiram Yehudai
A Note on the Pumping Lemma for Regular Languages. Inf. Process. Lett. 9 (3) (1979)
Michael A. Harrison, Ivan M. Havel, Amiram Yehudai
On Equivalence of Grammars Through Transformation Trees. Theor. Comput. Sci. 9 (1979)