Skip to main content

1 Result(s)

within Sergio Feo-Arenis Remove this filter Computer Science Remove this filter Artificial Intelligence Remove this filter Computation by Abstract Devices Remove this filter Software Engineering Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Verification of GUI Applications: A Black-Box Approach

    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...

    Stephan Arlt, Evren Ermis, Sergio Feo-Arenis… in Leveraging Applications of Formal Methods,… (2014)