Sciweavers

3031 search results - page 80 / 607
» Model Driven Testing Based on Test History
Sort
View
97
Voted
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 4 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
SLE
2009
Springer
15 years 5 months ago
Closing the Gap between Modelling and Java
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
TASLP
2008
104views more  TASLP 2008»
15 years 16 days ago
Tracking of Nonstationary Noise Based on Data-Driven Recursive Noise Power Estimation
This paper considers estimation of the noise spectral variance from speech signals contaminated by highly nonstationary noise sources. The method can accurately track fast changes ...
Jan S. Erkelens, Richard Heusdens
118
Voted
ECCV
2006
Springer
16 years 2 months ago
Random Walks, Constrained Multiple Hypothesis Testing and Image Enhancement
Image restoration is a keen problem of low level vision. In this paper, we propose a novel - assumption-free on the noise model - technique based on random walks for image enhancem...
Noura Azzabou, Nikos Paragios, Frederic Guichard
110
Voted
ISSRE
2010
IEEE
14 years 11 months ago
DoDOM: Leveraging DOM Invariants for Web 2.0 Application Robustness Testing
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
Karthik Pattabiraman, Benjamin G. Zorn