User inputs are critical for the security, safety, and reliability of software systems. This paper proposes a new concept called user input contracts, which is an integral part of a design-by-contract supplemented development process, and a model-based testing approach to detect violations of user input contracts. The approach generates test cases from an input contract integrated with graph-ba...

We describe two mechanisms, rendering task scheduling and the render cache, used to optimize graphics rendering in a scenegraph to provide continuous visual feedback and high interactivity in large-scale sketch-based user interfaces. We have implemented these mechanisms in SATIN, a toolkit to support development of sketch-based user interfaces. Our experiments with DENIM, an early-stage web sit...

The aim of this paper is to evaluate tools used for testing of graphical user interfaces, in the context of a course (EDA260) at Lund University. It provides a brief overview over some of the existing tools for automated testing of Java-based graphical user interfaces, while focusing on one tool in particular – Abbot. It takes a look at some best-practices and the challenges that have occurred ...

This paper describes ICIE-Voice, a prototype system for supporting speech-only access to graphical user interfaces. This system is intended to work with a wide range of existing applications, but require only a minimal set of “hooks” into those applications. To achieve this, the system operates primarily by extracting information from the drawing pipeline of the user interface. This information...

Algorithmic Debugging is a method for semi-automatic program debugging, where the debugger incrementally acquires knowledge about the debugged program by interacting with the user. However, a major obstacle that prevents large-scale use of the method is the large number of questions (sometimes hard to answer) put to the user. One important improvement would be to provide a graphical user interf...

This paper presents Biglook, a widget library for an extended version of the Scheme programming language. It uses classes of a Clos-like object layer to represent widgets and Scheme closures to handle graphical events. Combining functional and object-oriented programming styles yields an original application programming interface that advocates a strict separation between the implementation of ...

Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (structured) values using radio buttons or check boxes. We show that explicitly modelling such a choice leads to a cleaner separation of logic and layout. This is done by extending the combinator library FunctionalForms with disjoint...

Domain-specific languages are computer (programming, modeling, specification) languages devoted to solving problems in a specific domain. The least examined DSL development phases are analysis and design. Various formal methodologies exist, however domain analysis is still done informally most of the time. There are also methodologies of deriving DSLs from existing ontologies but the presumptio...

Software testing is a critical step in the software development lifecycle, and it is equally important to evaluate the graphical user interface of an application. While there are many testing techniques used in testing graphical user interfaces, the number of techniques and studies for voice user interface testing is minimal. This paper presents an overview of selected techniques used in graphi...

We present our experiences with building SUPER 1 , a database environment based on a structurally object-oriented entity-relationship model, called ERC+. SUPER is designed to be a semantically rich user-friendly front-end to existing relational or object-oriented database systems. We focus on the functionalities of visual direct manipulation interfaces of SUPER, in particular the schema and the...