1492 search results - page 46 / 299 » Testing Properties of Constraint-Graphs |
107
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A new estimator, optimal in the frequency domain with respect to the masking properties of the human auditory system, is proposed. This new filtering technique prevents the emerg...
115
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
135
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
113
click to vote
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
138
Voted
SOSE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...