Amiram Yehudai

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