13 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.SE2012
Black-Box Verification for GUI Applications
Stephan Arlt, Evren Ermis, Sergio Feo-Arenis +1
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…
cs.SE2012★ 13 cited
Grey-box GUI Testing: Efficient Generation of Event Sequences
Stephan Arlt, Ishan Banerjee, Cristiano Bertolini +2
Graphical user interfaces (GUIs), due to their event driven nature, present a potentially unbounded space of all possible ways to interact with software. During testing it becomes…