2205 search results - page 191 / 441 » Mutation Operators for Specifications |
112
click to vote
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
115
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
146
click to vote
FAST
2010
15 years 4 months ago
2010
We examine the write endurance of USB flash drives using a range of approaches: chip-level measurements, reverse engineering, timing analysis, whole-device endurance testing, and ...
110
Voted
WSC
2007
15 years 4 months ago
2007
Inbound call center operations are challenging to manage; there is considerable uncertainty in estimates of arrival rates, and the operation is often subject to strict service lev...
104
click to vote
WSC
2008
15 years 4 months ago
2008
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...