52 search results - page 6 / 11 » Model-Based Testing Through a GUI |
DAC
2009
ACM
14 years 12 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
SP
1999
IEEE
14 years 3 months ago
1999
IEEE
Psychological acceptability has been mentioned as a requirement for secure systems for as long as least privilege and fail safe defaults, but until now has been all but ignored in...
AOSD
2007
ACM
14 years 2 months ago
2007
ACM
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...
SIGCSE
2005
ACM
14 years 4 months ago
2005
ACM
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
IUI
2011
ACM
13 years 1 months ago
2011
ACM
Controlling the movements of mobile robots, including driving the robot through the world and panning the robot’s cameras, typically requires many physical joysticks, buttons, a...