Sciweavers

1253 search results - page 49 / 251
» Exploration Testing
Sort
View
ASPLOS
2012
ACM
13 years 7 months ago
Path-exploration lifting: hi-fi tests for lo-fi emulators
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
Lorenzo Martignoni, Stephen McCamant, Pongsin Poos...
CHI
2009
ACM
16 years 12 days ago
Using language tests and emotional expressions to determine the learnability of artificial languages
The study described hereunder lies within the context of a larger project focusing on the design and implementation of a "Robotic Interaction Language". The research goa...
Omar Mubin, Suleman Shahid, Christoph Bartneck, Em...
IUI
2000
ACM
15 years 4 months ago
Requirements elicitation for an intelligent software test environment for the physically challenged
This paper is about the elicitation of the requirements for an intelligent interface for a software test development environment that will accommodate the physically challenged (P...
Warren Moseley
JGS
2010
105views more  JGS 2010»
14 years 10 months ago
Testing for spatial association of qualitative data using symbolic dynamics
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...
Manuel Ruiz, Fernando López, Antonio P&aacu...
PTS
2010
140views Hardware» more  PTS 2010»
14 years 10 months ago
More Testable Properties
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
Yliès Falcone, Jean-Claude Fernandez, Thier...