Amiram Yehudai

According to our database, Amiram Yehudai authored at least 63 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

MetaFFI - Multilingual Indirect Interoperability System.

Tsvi Cherny-Shahar, Amiram Yehudai

CoRR, 2024

2019

Towards Software Analytics: Modeling Maintenance Activities.

Stanislav Levin, Amiram Yehudai

CoRR, 2019

Visually Exploring Software Maintenance Activities.

Stanislav Levin, Amiram Yehudai

Proceedings of the 2019 Working Conference on Software Visualization, 2019

Processing Large Datasets of Fined Grained Source Code Changes.

Stanislav Levin, Amiram Yehudai

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

2018

The Big Ideas in Computer Science for K-12 Curricula.

Tim Bell, Paul Tymann, Amiram Yehudai

Bull. EATCS, 2018

2017

Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes.

Stanislav Levin, Amiram Yehudai

Proceedings of the 13th International Conference on Predictive Models and Data Analytics in Software Engineering, 2017

The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes.

Stanislav Levin, Amiram Yehudai

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

2016

Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles.

Stanislav Levin, Amiram Yehudai

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015

Alleviating Merge Conflicts with Fine-grained Visual Awareness.

Stanislav Levin, Amiram Yehudai

CoRR, 2015

Improving software team collaboration with Synchronized Software Development.

Stanislav Levin, Amiram Yehudai

CoRR, 2015

Collaborative Real Time Coding or How to Avoid the Dreaded Merge.

Stanislav Levin, Amiram Yehudai

CoRR, 2015

Localization of real world regression Bugs using single execution.

Dekel Cohen, Amiram Yehudai

CoRR, 2015

2014

Taming the Concurrency: Controlling Concurrent Behavior while Testing Multithreaded Software.

Evgeny Vainer, Amiram Yehudai

CoRR, 2014

2012

Example overflow: using social media for code recommendation.

Alexey Zagalsky, Ohad Barzilay, Amiram Yehudai

Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

Granulated Code Generation of Interfering Functionalities.

Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2011

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.

Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai

Int. J. Syst. Assur. Eng. Manag., 2011

Using social media to study the diversity of example usage among professional developers.

Ohad Barzilay, Orit Hazzan, Amiram Yehudai

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Regression Test Selection Techniques for Test-Driven Development.

Hagai Cibulski, Amiram Yehudai

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.

Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Perspective on Computer Science Education.

Amiram Yehudai

Proceedings of the Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools, 2010

2009

A Multidimensional Software Engineering Course.

Ohad Barzilay, Orit Hazzan, Amiram Yehudai

IEEE Trans. Educ., 2009

GenUTest: a unit test and mock aspect generation tool.

Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai

Int. J. Softw. Tools Technol. Transf., 2009

Evaluation of a software engineering course by reflection.

Ohad Barzilay, Orit Hazzan, Amiram Yehudai

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

2008

Virtual Machine Support for Stateful Aspects.

Yuri Phink, Amiram Yehudai

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

2007

Refactoring Aspects into Java Code.

M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the IEEE International Conference on Software-Science, 2007

Locating Regression Bugs.

Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Fortified Web Services Contracts for Trusted Components.

Avi Jencmen, Amiram Yehudai

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Evolutionary Testing: A Case Study.

Stella Levin, Amiram Yehudai

Proceedings of the Hardware and Software, 2006

XML Syntax Conscious Compression.

S. Harrusi, Amir Averbuch, Amiram Yehudai

Proceedings of the 2006 Data Compression Conference (DCC 2006), 2006

2003

Behavioral Consistency Validation of UML Diagrams.

Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

Obvious or not?: regulating architectural decisions using aspect-oriented programming.

Mati Shomrat, Amiram Yehudai

Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

1998

Design of an Actor Language for Implicit Parallel Programming.

Yariv Aridor, Shimon Cohen, Amiram Yehudai

ACM SIGPLAN Notices, 1998

Real-Time Systems Development with MASS.

Vered Gafni, Yishai A. Feldman, Amiram Yehudai

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1997

SYMPAL: a software environment for implicit concurrent object-oriented programming.

Yariv Aridor, Shimon Cohen, Amiram Yehudai

Object Oriented Syst., 1997

Automating the Application of Design Patterns.

Amnon H. Eden, Joseph Gil, Amiram Yehudai

J. Object Oriented Program., 1997

Precise Specification and Automatic Application of Design Patterns.

Amnon H. Eden, Amiram Yehudai, Joseph Gil

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Patterns of the Agenda.

Amnon H. Eden, Amiram Yehudai

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

Combining Reflection and Finite State Diagrams for Design Enforcement.

Shaul Simhi, Vered Gafni, Amiram Yehudai

Theory Pract. Object Syst., 1996

1995

On Tuning Recursive Procedures

Amiram Yehudai, Fernando Libedinsky

Softw. Pract. Exp., 1995

A High School Program in Computer Science.

Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai

Computer, 1995

1994

Activation-Oriented Specification of Real-Time Systems.

Vered Gafni, Amiram Yehudai, Yishai A. Feldman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Using Transformations in Specification-Based Prototyping.

Valdis Berzins, Luqi, Amiram Yehudai

IEEE Trans. Software Eng., 1993

Portable, Parallelizing Compiler.

Eran Gabber, Amir Averbuch, Amiram Yehudai

IEEE Softw., 1993

1992

OBSERV - A Prototyping Language and Environment.

Shmuel S. Tyszberowicz, Amiram Yehudai

ACM Trans. Softw. Eng. Methodol., 1992

1991

Experience with a Portable Parallelizing Pascal Compiler.

Eran Gabber, Amir Averbuch, Amiram Yehudai

Proceedings of the International Conference on Parallel Processing, 1991

Specification of user-interfaces using CRUISE/OBSERV.

Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1986

Balance of Many-Valued Transductions and Equivalence Problems.

Yael Maon, Amiram Yehudai

Theor. Comput. Sci., 1986

1984

An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA

Yair Itzhaik, Amiram Yehudai

Inf. Control., July, 1984

On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters.

Yael Maon, Amiram Yehudai

Theor. Comput. Sci., 1984

New Families of Non Real Time DPDA's and their Decidability Results.

Yair Itzhaik, Amiram Yehudai

Theor. Comput. Sci., 1984

1983

An Iteration Theorem for Simple Precedence Languages

Yael Krevner, Amiram Yehudai

J. ACM, October, 1983

Constructing a Realtime Deterministic Pushdown Automaton from a Grammar.

Jan Pittl, Amiram Yehudai

Theor. Comput. Sci., 1983

On Containment Problems for Finite-Turn Languages (Extended Abstract).

Yair Itzhaik, Amiram Yehudai

Proceedings of the Fundamentals of Computation Theory, 1983

1982

A Hierarchy of Real-Time Deterministic Languages and Their Equivalence.

Amiram Yehudai

J. Comput. Syst. Sci., 1982

An Iteration Theorem for Simple Precedence Languages (Extended Abstract).

Yael Krevner, Amiram Yehudai

Proceedings of the Automata, 1982

1981

A methodology for modular use of Ada.

Mordechai Ben-Ari, Amiram Yehudai

ACM SIGPLAN Notices, 1981

Eliminating Null Rules in Linear Time.

Michael A. Harrison, Amiram Yehudai

Comput. J., 1981

A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract).

Yair Itzhaik, Amiram Yehudai

Proceedings of the Automata, 1981

1980

The Decidability of Equivalence for a Family of Linear Grammars

Amiram Yehudai

Inf. Control., November, 1980

Automatic indention versus program formatting.

Amiram Yehudai

ACM SIGPLAN Notices, 1980

1979

On Equivalence of Grammars Through Transformation Trees.

Michael A. Harrison, Ivan M. Havel, Amiram Yehudai

Theor. Comput. Sci., 1979

A Hierarchy of Deterministic Languages.

Michael A. Harrison, Amiram Yehudai

J. Comput. Syst. Sci., 1979

A Note on the Pumping Lemma for Regular Languages.

Amiram Yehudai

Inf. Process. Lett., 1979