| 2007 |
|---|
| 8 | EE | Dor Nir,
Shmuel S. Tyszberowicz,
Amiram Yehudai:
Locating Regression Bugs.
Haifa Verification Conference 2007: 218-234 |
| 7 | EE | Benny Pasternak,
Shmuel S. Tyszberowicz,
Amiram Yehudai:
GenUTest: A Unit Test and Mock Aspect Generation Tool.
Haifa Verification Conference 2007: 252-266 |
| 2006 |
|---|
| 6 | EE | Maayan Goldstein,
Yishai A. Feldman,
Shmuel S. Tyszberowicz:
Refactoring with Contracts.
AGILE 2006: 53-64 |
| 5 | EE | Yishai A. Feldman,
Ohad Barzilay,
Shmuel S. Tyszberowicz:
Jose: Aspects for Design by Contract80-89.
SEFM 2006: 80-89 |
| 2003 |
|---|
| 4 | EE | Boris Litvak,
Shmuel S. Tyszberowicz,
Amiram Yehudai:
Behavioral Consistency Validation of UML Diagrams.
SEFM 2003: 118-125 |
| 3 | EE | Tal Lev-Ami,
Shmuel S. Tyszberowicz:
Reactive and Real-Time Systems Course: How to Get the Most Out of it.
Real-Time Systems 25(2-3): 231-253 (2003) |
| 1998 |
|---|
| 2 | | Shmuel S. Tyszberowicz:
How to Implement a Safe Real-Time System: The OBSERV Implementation of the Production Cell Case Study.
Real-Time Systems 15(1): 61-90 (1998) |
| 1992 |
|---|
| 1 | EE | Shmuel S. Tyszberowicz,
Amiram Yehudai:
OBSERV - A Prototyping Language and Environment.
ACM Trans. Softw. Eng. Methodol. 1(3): 269-309 (1992) |
