Kurt M. Olender

According to our database, Kurt M. Olender authored at least 6 papers between 1989 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1995

Algebraic Specifications and Sequencing: A Defect Detection Method.

Kurt M. Olender, James M. Bieman

Softw. Test. Verification Reliab., 1995

1993

Efficient Testing of Software Modifications.

Anneliese von Mayrhauser, Kurt M. Olender

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

Using algebraic specifications to find sequencing defects.

Kurt M. Olender, James M. Bieman

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

1992

Interprocedural Static Analysis of Sequencing Constraints.

Kurt M. Olender, Leon J. Osterweil

ACM Trans. Softw. Eng. Methodol., 1992

1990

Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation.

Kurt M. Olender, Leon J. Osterweil

IEEE Trans. Software Eng., 1990

1989

Cesar: A Static Sequencing Constraint Analyzer.

Kurt M. Olender, Leon J. Osterweil

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989