7393 search results - page 27 / 1479 » Synthesis-for-testability using transformations |
114
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
108
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...
164
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
113
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we describe the application of a feature-space transform based on constrained maximum likelihood linear regression for unsupervised compensation of channel and speak...
121
click to vote
ESSOS
2009
Springer
15 years 7 months ago
2009
Springer
Injection attacks and their defense require a lot of creativity from attackers and secure system developers. Unfortunately, as attackers rely increasingly on systematic approaches ...