2205 search results - page 49 / 441 » Mutation Operators for Specifications |
SECON
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--This paper considers the novel area of quality-ofinformation (QoI)-aware network management of multitasking wireless sensor networks (WSNs). Specifically, it provides an ...
ZUM
1992
Springer
13 years 12 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
HYBRID
2010
Springer
13 years 5 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
In this poster we introduce ProThes, a pilot meta-search engine (MSE) for a specific application domain. ProThes combines three approaches: meta-search, graphical user interface (...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...