No photo of Amiram Yehudai

View Scopus Profile

Amiram Yehudai

Professor

Former affiliation
 https://orcid.org/0000-0002-2585-3099
1979 …2019

Research activity per year

Filter
Conference contribution

Search results

  • 2019

    Processing Large Datasets of Fined Grained Source Code Changes

    Levin, S. & Yehudai, A., Sep 2019, Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019. Institute of Electrical and Electronics Engineers Inc., p. 382-385 4 p. 8919233. (Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Visually exploring software maintenance activities

    Levin, S. & Yehudai, A., Sep 2019, Proceedings - 7th IEEE Working Conference on Software Visualization, VISSOFT 2019. Institute of Electrical and Electronics Engineers Inc., p. 110-114 5 p. 8900959. (Proceedings - 7th IEEE Working Conference on Software Visualization, VISSOFT 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations
  • 2017

    Boosting automatic commit classification into maintenance activities by utilizing source code changes

    Levin, S. & Yehudai, A., 8 Nov 2017, PROMISE 2017 - 13th International Conference on Predictive Models and Data Analytics in Software Engineering. Association for Computing Machinery, p. 97-106 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    72 Scopus citations

  • The co-evolution of test maintenance and code maintenance through the lens of fine-grained semantic changes

    Levin, S. & Yehudai, A., 2 Nov 2017, Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. Institute of Electrical and Electronics Engineers Inc., p. 35-46 12 p. 8094407. (Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    20 Scopus citations

  • Using temporal and semantic developer-level information to predict maintenance activity profiles

    Levin, S. & Yehudai, A., 12 Jan 2017, Proceedings - 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016. Institute of Electrical and Electronics Engineers Inc., p. 463-467 5 p. 7816495. (Proceedings - 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    16 Scopus citations
  • 2012

    Example overflow: Using social media for code recommendation

    Zagalsky, A., Barzilay, O. & Yehudai, A., 2012, 2012 3rd International Workshop on Recommendation Systems for Software Engineering, RSSE 2012 - Proceedings. p. 38-42 5 p. 6233407. (2012 3rd International Workshop on Recommendation Systems for Software Engineering, RSSE 2012 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    63 Scopus citations

  • Granulated code generation of interfering functionalities

    Gelfgat, I., Tyszberowicz, S. & Yehudai, A., 2012, 2012 Federated Conference on Computer Science and Information Systems, FedCSIS 2012. p. 1333-1340 8 p. 6354361. (2012 Federated Conference on Computer Science and Information Systems, FedCSIS 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2011

    Regression test selection techniques for test-driven development

    Cibulski, H. & Yehudai, A., 2011, Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011. p. 115-124 10 p. 5954400. (Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Scopus citations

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

    Barzilay, O., Hazzan, O. & Yehudai, A., 2011, SIGSOFT/FSE'11 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering. p. 472-475 4 p. (SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations
  • 2010

    Developers attentiveness to example usage

    Barzilay, O., Yehudai, A. & Hazzan, O., 2010, 2nd Workshop on Human Aspects of Software Engineering, HAoSE 2010 - SPLASH 2010 Workshop Summary. Association for Computing Machinery, (2nd Workshop on Human Aspects of Software Engineering, HAoSE 2010 - SPLASH 2010 Workshop Summary).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Generating regression unit tests using a combination of verification and capture & replay

    Gladisch, C., Tyszberowicz, S., Beckert, B. & Yehudai, A., 2010, Tests and Proofs - 4th International Conference, TAP 2010, Proceedings. p. 61-76 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6143 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Perspective on computer science education

    Yehudai, A., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. p. 35 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5941 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2009

    Characterizing example embedding as a software activity

    Barzilay, O., Hazzan, O. & Yehudai, A., 2009, Proc. 2009 31st International Conference on Software Engineering and ICSE Workshops - 2009 ICSE Workshop on Search-Driven Development - Users, Infrastructure, Tools and Evaluation, SUITE 2009. p. 5-8 4 p. 5070011. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Evaluation of a software engineering course by reflection

    Barzilay, O., Hazzan, O. & Yehudai, A., 2009, ITiCSE-2009 - Proceedings of the 2009 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. p. 273-277 5 p. (Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations
  • 2008

    GenUTest: A unit test and mock aspect generation tool

    Pasternak, B., Tyszberowicz, S. & Yehudai, A., 2008, Hardware and Software: Verification and Testing - Third International Haifa Verification Conference, HVC 2007, Proceedings. Springer Verlag, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4899 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Locating regression bugs

    Nir, D., Tyszberowicz, S. & Yehudai, A., 2008, Hardware and Software: Verification and Testing - Third International Haifa Verification Conference, HVC 2007, Proceedings. Springer Verlag, p. 218-234 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4899 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • Virtual machine support for stateful aspects

    Phink, Y. & Yehudai, A., 2008, Objects, Components, Models and Patterns - 46th International Conference, TOOLS EUROPE 2008, Proceedings. Paige, R. F. & Meyer, B. (eds.). Springer Verlag, p. 80-99 20 p. (Lecture Notes in Business Information Processing; vol. 11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2007

    Evolutionary testing: A case study

    Levin, S. & Yehudai, A., 2007, Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer Verlag, p. 155-165 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4383 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Refactoring aspects into Java code

    Kleyman, M., Tyszberowicz, S. & Yehudai, A., 2007, Proceedings - IEEE International Conference on Software - Science, Technologyand Engineering, SwSTE'07. IEEE Computer Society, p. 35-47 13 p. 4384083. (Proceedings - IEEE International Conference on Software - Science, Technology and Engineering, SwSTE'07).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2006

    Fortified web services contracts for trusted components

    Jencmen, A. & Yehudai, A., 2006, Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services. IEEE Computer Society, p. 919-926 8 p. 4032117. (Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2003

    Behavioral consistency validation of UML diagrams

    Litvak, B., Tyszberowicz, S. & Yehudai, A., 2003, Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003. Institute of Electrical and Electronics Engineers Inc., p. 118-125 8 p. (Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    44 Scopus citations
  • 2002

    Obvious or Not? Regulating Architectural Decisions Using Aspect-Oriented Programming

    Shomrat, M. & Yehudai, A., 2002, 1st International Conference on Aspect-Oriented Software Development. Kinzales, G. & Kiczales, G. (eds.). p. 3-9 7 p. (1st International Conference on Aspect-Oriented Software Development).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    32 Scopus citations
  • 1998

    Patterns of the agenda

    Eden, A. H. & Yehudai, A., 1998, Object-Oriented Technology - ECOOP 1997 Workshop Reader, Proceedings. Mitchell, S. & Bosch, J. (eds.). Springer Verlag, p. 100-104 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1357).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 1994

    Activation-oriented specification of real-time systems

    Gafni, V., Yehudai, A. & Feldman, Y. A., 1994, Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. Langmaack, H., de Roever, W.-P., Vytopil, J. & Vytopil, J. (eds.). Springer Verlag, p. 268-287 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 863 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 1991

    Experience with a Portable Parallelizing Pascal Compiler.

    Gabber, E., Averbuch, A. & Yehudai, A., 1991, Proceedings of the 1991 International Conference on Parallel Processing, August 12-16, 1991. Schwetman, H. D. (ed.). Boca Raton: CRC Press, Vol. 2. p. 207-210

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Specification of user-interfaces using CRUISE/OBSERV

    Cohen, A., Tyszberowicz, S. & Yehudai, A., 1991, Proceedings of the15th Annual International Computer Software and Applications Conference, CMPSAC 1991. IEEE Computer Society, p. 104-109 6 p. 170159. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1990

    An application generator for a family of real-time monitor and control systems

    Benaya, T. & Yehudai, A., 1990, Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90. Publ by IEEE, p. 274-279 6 p. (Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • CRUISE--CReative User Interface for Software Engineering: An overview

    Cohen, A., Tyszberowiza, S. & Yehudai, A., 1990, Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90. Publ by IEEE, p. 298-306 9 p. (Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • OBSERV - A prototyping language and environment combining object oriented approach, state machines and logic programming

    Tyszberowicz, S. & Yehudai, A., 1990, Proceedings of the Hawaii International Conference on System Science. Hoevel, L. W., Shriver, B. D., Nunamaker, J. F. J., Sprague, R. H. J. & Milutinovic, V. (eds.). Publ by Western Periodicals Co, p. 247-256 10 p. (Proceedings of the Hawaii International Conference on System Science; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 1983

    On containment problems for finite-turn languages

    Itzhaik, Y. & Yehudai, A., 1983, Foundations of Computation Theory - Proceedings of the 1983 International FCT-Conference. Karpinski, M. (ed.). Springer Verlag, p. 219-231 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 158 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 1982

    An iteration theorem for simple precedence languages

    Krevner, Y. & Yehudai, A., 1982, Automata, Languages and Programming - 9th Colloquium. Nielsen, M. & Schmidt, E. M. (eds.). Springer Verlag, p. 360-368 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 140 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 1981

    A decision procedure for the equivalence of two dpdas one of which is linear

    Itzhaik, Y. & Yehudai, A., 1981, Automata, Languages and Programming - 8th Colloquium. Even, S. & Kariv, O. (eds.). Springer Verlag, p. 229-237 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 115 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations