In this paper, we propose to base the verification of a GUI application on a reference model used in black-box testing. The reference model is a formal model for the behavior of the GUI application. It is derived by dynamic analysis (hence “black-box”). Thus, it can be used to account for the graphical interface even when the GUI toolkit is not amenable to formal analysis or its source code is not available. We have implemented our approach; a preliminary case study indicates its feasibility in principle.
CITATION STYLE
Arlt, S., Ermis, E., Feo-Arenis, S., & Podelski, A. (2014). Verification of GUI applications: A black-box approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8802, pp. 236–252). Springer Verlag. https://doi.org/10.1007/978-3-662-45234-9_17
Mendeley helps you to discover research relevant for your work.