Amiram Yehudai

According to our database1, Amiram Yehudai
  • authored at least 59 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





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

The Co-Evolution of Test Maintenance and Code Maintenance through the lens of Fine-Grained Semantic Changes.
CoRR, 2017

The Co-evolution of Test Maintenance and Code Maintenance through the Lens of Fine-Grained Semantic Changes.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

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

Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Alleviating Merge Conflicts with Fine-grained Visual Awareness.
CoRR, 2015

Improving software team collaboration with Synchronized Software Development.
CoRR, 2015

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

Localization of real world regression Bugs using single execution.
CoRR, 2015

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

Example overflow: using social media for code recommendation.
Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

Granulated Code Generation of Interfering Functionalities.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.
Int. J. Systems Assurance Engineering and Management, 2011

Using social media to study the diversity of example usage among professional developers.
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.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.
Proceedings of the Tests and Proofs, 4th International Conference, 2010

Perspective on Computer Science Education.
Proceedings of the Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools, 2010

A Multidimensional Software Engineering Course.
IEEE Trans. Education, 2009

GenUTest: a unit test and mock aspect generation tool.
STTT, 2009

Evaluation of a software engineering course by reflection.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Virtual Machine Support for Stateful Aspects.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Refactoring Aspects into Java Code.
Proceedings of the IEEE International Conference on Software-Science, 2007

GenUTest: A Unit Test and Mock Aspect Generation Tool.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Locating Regression Bugs.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Fortified Web Services Contracts for Trusted Components.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Evolutionary Testing: A Case Study.
Proceedings of the Hardware and Software, 2006

XML Syntax Conscious Compression.
Proceedings of the 2006 Data Compression Conference (DCC 2006), 2006

Behavioral Consistency Validation of UML Diagrams.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Obvious or not?: regulating architectural decisions using aspect-oriented programming.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

Real-Time Systems Development with MASS.
Electr. Notes Theor. Comput. Sci., 1999

Design of an Actor Language for Implicit Parallel Programming.
SIGPLAN Notices, 1998

SYMPAL: a software environment for implicit concurrent object-oriented programming.
Object Oriented Systems, 1997

Automating the Application of Design Patterns.
JOOP, 1997

Precise Specification and Automatic Application of Design Patterns.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

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

Combining Reflection and Finite State Diagrams for Design Enforcement.
TAPOS, 1996

On Tuning Recursive Procedures
Softw., Pract. Exper., 1995

A High School Program in Computer Science.
IEEE Computer, 1995

Activation-Oriented Specification of Real-Time Systems.
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

Using Transformations in Specification-Based Prototyping.
IEEE Trans. Software Eng., 1993

Portable, Parallelizing Compiler.
IEEE Software, 1993

OBSERV - A Prototyping Language and Environment.
ACM Trans. Softw. Eng. Methodol., 1992

Experience with a Portable Parallelizing Pascal Compiler.
Proceedings of the International Conference on Parallel Processing, 1991

Specification of user-interfaces using CRUISE/OBSERV.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Balance of Many-Valued Transductions and Equivalence Problems.
Theor. Comput. Sci., 1986

An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA
Information and Control, July, 1984

On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters.
Theor. Comput. Sci., 1984

New Families of Non Real Time DPDA's and their Decidability Results.
Theor. Comput. Sci., 1984

An Iteration Theorem for Simple Precedence Languages
J. ACM, October, 1983

Constructing a Realtime Deterministic Pushdown Automaton from a Grammar.
Theor. Comput. Sci., 1983

On Containment Problems for Finite-Turn Languages (Extended Abstract).
Proceedings of the Fundamentals of Computation Theory, 1983

A Hierarchy of Real-Time Deterministic Languages and Their Equivalence.
J. Comput. Syst. Sci., 1982

An Iteration Theorem for Simple Precedence Languages (Extended Abstract).
Proceedings of the Automata, 1982

Eliminating Null Rules in Linear Time.
Comput. J., 1981

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

The Decidability of Equivalence for a Family of Linear Grammars
Information and Control, November, 1980

On Equivalence of Grammars Through Transformation Trees.
Theor. Comput. Sci., 1979

A Hierarchy of Deterministic Languages.
J. Comput. Syst. Sci., 1979

A Note on the Pumping Lemma for Regular Languages.
Inf. Process. Lett., 1979