Amiram Yehudai

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
The Big Ideas in Computer Science for K-12 Curricula.
Bulletin of the EATCS, 2018

2017
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

Boosting Automatic Commit Classification Into Maintenance Activities By Utilizing Source Code Changes.
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.
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.
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

2015
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

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

2012
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

2011
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

2010
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

2009
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

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

2007
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

2006
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

2003
Behavioral Consistency Validation of UML Diagrams.
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.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

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

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

1997
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

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

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

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

1994
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

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

Portable, Parallelizing Compiler.
IEEE Software, 1993

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

1991
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

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

1984
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

1983
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

1982
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

1981
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

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

1979
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


  Loading...