561 search results - page 18 / 113 » A Constructive Approach to Testing Model Transformations |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
CEAS
2006
Springer
15 years 1 months ago
2006
Springer
Motivated by current efforts to construct more realistic spam filtering experimental corpora, we present a newly assembled, publicly available corpus of genuine and unsolicited (s...
ASM
2005
ASM
15 years 3 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We propose an environment population projection (EPP) approach for rapid acoustic model adaptation to reduce environment mismatches with limited amounts of adaptation data. This a...
110
click to vote
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
We present a real-time approach for circular and polygonal road signs detection1 in still images, regardless of their pose and orientation. Object detection is done using a pairwis...