Sciweavers

1253 search results - page 49 / 251
» Exploration Testing
Sort
View
126
Voted
ASPLOS
2012
ACM
13 years 10 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...
118
Voted
CHI
2009
ACM
16 years 3 months 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...
110
Voted
IUI
2000
ACM
15 years 7 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
105
Voted
JGS
2010
105views more  JGS 2010»
15 years 1 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...
107
Voted
PTS
2010
140views Hardware» more  PTS 2010»
15 years 29 days 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...