Search Results - "Olender, K.M." :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Cecil: a sequencing constraint language for automatic static analysis generation

Cecil: a sequencing constraint language for automatic static analysis generation

by Olender, K.M., Osterweil, L.J.
Published in IEEE transactions on software engineering (01.03.1990)

Get full text

Journal Article

Using algebraic specifications to find sequencing defects

Using algebraic specifications to find sequencing defects

by Olender, K.M., Bieman, J.M.
Published in Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering (1993)

Get full text

Conference Proceeding