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

Proceedings of the Institute for System Programming of the RAS
doi 10.15514/ispras-2017-29(1)-10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute for System Programming of the Russian Academy of Sciences