| 1995 | ||
|---|---|---|
| 5 | Kurt M. Olender, James M. Bieman: Algebraic Specifications and Sequencing: A Defect Detection Method. Softw. Test., Verif. Reliab. 5(1): 49-70 (1995) | |
| 1993 | ||
| 4 | Anneliese von Mayrhauser, Kurt M. Olender: Efficient Testing of Software Modifications. ITC 1993: 859-864 | |
| 1992 | ||
| 3 | Kurt M. Olender, Leon J. Osterweil: Interprocedural Static Analysis of Sequencing Constraints. ACM Trans. Softw. Eng. Methodol. 1(1): 21-52 (1992) | |
| 1990 | ||
| 2 | Kurt M. Olender, Leon J. Osterweil: Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. IEEE Trans. Software Eng. 16(3): 268-280 (1990) | |
| 1989 | ||
| 1 | Kurt M. Olender, Leon J. Osterweil: Cesar: A Static Sequencing Constraint Analyzer. Symposium on Testing, Analysis, and Verification 1989: 66-74 | |
| 1 | Anneliese Amschler Andrews (Anneliese von Mayrhauser) | [4] |
| 2 | James M. Bieman | [5] |
| 3 | Leon J. Osterweil | [1] [2] [3] |