Kurt M. Olender

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Kurt M. Olender, James M. Bieman
Algebraic Specifications and Sequencing: A Defect Detection Method. Softw. Test. Verification Reliab. 5 (1) (1995)
Kurt M. Olender, James M. Bieman
Using algebraic specifications to find sequencing defects. ISSRE (1993)
Anneliese von Mayrhauser, Kurt M. Olender
Efficient Testing of Software Modifications. ITC (1993)
Kurt M. Olender, Leon J. Osterweil
Interprocedural Static Analysis of Sequencing Constraints. ACM Trans. Softw. Eng. Methodol. 1 (1) (1992)
Kurt M. Olender, Leon J. Osterweil
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. IEEE Trans. Software Eng. 16 (3) (1990)
Kurt M. Olender, Leon J. Osterweil
Cesar: A Static Sequencing Constraint Analyzer. Symposium on Testing, Analysis, and Verification (1989)