7064 search results - page 207 / 1413 » From States to Histories |
158
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Creating effective test cases is a difficult problem, especially for web applications. To comprehensively test a web application’s functionality, test cases must test complex a...
202
Voted
NIPS
2008
15 years 8 months ago
2008
Metal binding is important for the structural and functional characterization of proteins. Previous prediction efforts have only focused on bonding state, i.e. deciding which prot...
165
click to vote
FORTE
2000
15 years 8 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
264
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
User written transaction code is responsible for the "C" in ACID transactions, i.e., taking the database from one consistent state to the next. However, user transaction...
173
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
We have investigated a fault injection-based technique for undermining the ability of software components to produce undesirable outputs into the state of the system. Undesirable ...