Discover open access scientific publications

Search, annotate, share and cite publications

Publications by D.O. Kutz

Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution

Proceedings of the Institute for System Programming of the RAS

English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS

English