Sciweavers

584 search results - page 31 / 117
» Generative Programming of graphical user interfaces
Sort
View
ICSE
2008
IEEE-ACM
14 years 9 months ago
Test case generator for GUITAR
As Graphical User Interfaces become more popular, the need for GUI testing tools becomes greater. However, many current test generation techniques require proprietary tools and ca...
Daniel R. Hackner, Atif M. Memon
FM
2009
Springer
189views Formal Methods» more  FM 2009»
13 years 7 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
CHI
2009
ACM
14 years 10 months ago
A user study on visualizing directed edges in graphs
Graphs are often visualized using node-link representations: vertices are depicted as dots, edges are depicted as (poly)lines connecting two vertices. A directed edge running from...
Danny Holten, Jarke J. van Wijk
INFOVIS
1999
IEEE
14 years 1 months ago
Aggregate Towers: Scale Sensitive Visualization and Decluttering of Geospatial Data
We have developed a technique, Aggregate Towers, that allows geospatial data to be visualized across a range of map scales. We use a combination of data aggregation algorithms and...
James K. Rayson
ICMCS
2005
IEEE
93views Multimedia» more  ICMCS 2005»
14 years 3 months ago
WA-TV: Webifying and Augmenting Broadcast Content for Next-Generation Storage TV
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
Hisashi Miyamori, Qiang Ma, Katsumi Tanaka