| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai |
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.  |
Int. J. Systems Assurance Engineering and Management  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Barzilay, Orit Hazzan, Amiram Yehudai |
Using social media to study the diversity of example usage among professional developers. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai |
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. |
TAP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amiram Yehudai |
Perspective on Computer Science Education. |
ISSEP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai |
GenUTest: a unit test and mock aspect generation tool. |
STTT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ohad Barzilay, Orit Hazzan, Amiram Yehudai |
A Multidimensional Software Engineering Course. |
IEEE Trans. Education |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Barzilay, Orit Hazzan, Amiram Yehudai |
Evaluation of a software engineering course by reflection. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
multidimensional software engineering course, reflective practitioner perspective, software engineering, reflection, software engineering education, course design, course evaluation |
| 1 | Yuri Phink, Amiram Yehudai |
Virtual Machine Support for Stateful Aspects. |
TOOLS |
2008 |
DBLP DOI BibTeX RDF |
Stateful Aspects, VM support for AOP, Aspect Oriented Programming |
| 1 | Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai |
GenUTest: A Unit Test and Mock Aspect Generation Tool. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai |
Locating Regression Bugs. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai |
Refactoring Aspects into Java Code. |
SwSTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stella Levin, Amiram Yehudai |
Evolutionary Testing: A Case Study. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, Software testing, automatic test generation |
| 1 | S. Harrusi, Amir Averbuch, Amiram Yehudai |
XML Syntax Conscious Compression. |
DCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Avi Jencmen, Amiram Yehudai |
Fortified Web Services Contracts for Trusted Components. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai |
Behavioral Consistency Validation of UML Diagrams. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mati Shomrat, Amiram Yehudai |
Obvious or not?: regulating architectural decisions using aspect-oriented programming. |
AOSD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vered Gafni, Yishai A. Feldman, Amiram Yehudai |
Real-Time Systems Development with MASS. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yariv Aridor, Shimon Cohen, Amiram Yehudai |
Design of an Actor Language for Implicit Parallel Programming. |
SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Amnon H. Eden, Joseph Gil, Amiram Yehudai |
Automating the Application of Design Patterns. |
JOOP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yariv Aridor, Shimon Cohen, Amiram Yehudai |
SYMPAL: a software environment for implicit concurrent object-oriented programming. |
Object Oriented Systems |
1997 |
DBLP BibTeX RDF |
|
| 1 | Amnon H. Eden, Amiram Yehudai |
Patterns of the Agenda. |
ECOOP Workshops |
1997 |
DBLP BibTeX RDF |
|
| 1 | Amnon H. Eden, Amiram Yehudai, Joseph Gil |
Precise Specification and Automatic Application of Design Patterns. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
precise pattern specification, automatic pattern application, meta-programming language, software tool prototype, source code test, source code editing, algorithm, design patterns, object-oriented design, object-oriented methods |
| 1 | Shaul Simhi, Vered Gafni, Amiram Yehudai |
Combining Reflection and Finite State Diagrams for Design Enforcement. |
TAPOS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Amiram Yehudai, Fernando Libedinsky |
On Tuning Recursive Procedures |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai |
A High School Program in Computer Science. |
IEEE Computer |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vered Gafni, Amiram Yehudai, Yishai A. Feldman |
Activation-Oriented Specification of Real-Time Systems. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Valdis Berzins, Luqi, Amiram Yehudai |
Using Transformations in Specification-Based Prototyping. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description |
| 1 | Eran Gabber, Amir Averbuch, Amiram Yehudai |
Portable, Parallelizing Compiler. |
IEEE Software |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel S. Tyszberowicz, Amiram Yehudai |
OBSERV - A Prototyping Language and Environment. |
ACM Trans. Softw. Eng. Methodol. |
1992 |
DBLP DOI BibTeX RDF |
CRUISE, interactive programming environments, modeling with finite state machines, static checker, simulator, real time systems, embedded systems, concurrency, logic programming, graphical user interface, software reuse, OBSERV, OBSERV, browsers, object-oriented approach |
| 1 | Eran Gabber, Amir Averbuch, Amiram Yehudai |
Experience with a Portable Parallelizing Pascal Compiler. |
ICPP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Yael Maon, Amiram Yehudai |
Balance of Many-Valued Transductions and Equivalence Problems. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Yair Itzhaik, Amiram Yehudai |
New Families of Non Real Time DPDA's and their Decidability Results. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Yael Maon, Amiram Yehudai |
On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Yair Itzhaik, Amiram Yehudai |
An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA |
Information and Control |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Pittl, Amiram Yehudai |
Constructing a Realtime Deterministic Pushdown Automaton from a Grammar. |
Theor. Comput. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Yael Krevner, Amiram Yehudai |
An Iteration Theorem for Simple Precedence Languages |
J. ACM |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Yair Itzhaik, Amiram Yehudai |
On Containment Problems for Finite-Turn Languages (Extended Abstract). |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Amiram Yehudai |
A Hierarchy of Real-Time Deterministic Languages and Their Equivalence. |
J. Comput. Syst. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Yael Krevner, Amiram Yehudai |
An Iteration Theorem for Simple Precedence Languages (Extended Abstract). |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Harrison, Amiram Yehudai |
Eliminating Null Rules in Linear Time. |
Comput. J. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Yair Itzhaik, Amiram Yehudai |
A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Amiram Yehudai |
The Decidability of Equivalence for a Family of Linear Grammars |
Information and Control |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Amiram Yehudai |
A Note on the Pumping Lemma for Regular Languages. |
Inf. Process. Lett. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Harrison, Ivan M. Havel, Amiram Yehudai |
On Equivalence of Grammars Through Transformation Trees. |
Theor. Comput. Sci. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Harrison, Amiram Yehudai |
A Hierarchy of Deterministic Languages. |
J. Comput. Syst. Sci. |
1979 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")