Black-Box Verification for GUI Applications
Black-Box Verification for GUI Applications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.
Descargar gratis o leer online en formato PDF el libro:
Black-Box Verification for GUI Applications
In black-box testing of GUI applications (a form of system testing), a dynamic analysis of the GUI application is used to infer a black-box model; the black-box model is then used to derive test cases for the test of the GUI application. In this paper, we propose to supplement the test with the verification of the black-box model. We present a meth
Autor: Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski
Fuente: https://archive.org/