Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-662-45234-9_17 | ISoLA (1) |
Field | DocType | Volume |
Black box (phreaking),Programming language,Reference model,Source code,Computer science,Event (computing),Graphical user interface,Event sequence | Conference | 8802 |
ISSN | Citations | PageRank |
0302-9743 | 3 | 0.43 |
References | Authors | |
25 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stephan Arlt | 1 | 69 | 7.01 |
Evren Ermis | 2 | 25 | 2.91 |
Sergio Feo-Arenis | 3 | 21 | 4.00 |
Andreas Podelski | 4 | 2760 | 197.87 |