Sciweavers

759 search results - page 73 / 152
» Test case generator for GUITAR
Sort
View
82
Voted
AUTOMATICA
2006
68views more  AUTOMATICA 2006»
15 years 24 days ago
Relaxed fault detection and isolation: An application to a nonlinear case study
Given a number of possibly concurrent faults (and disturbances) that may affect a nonlinear dynamic system, it may not be possible to solve the standard fault detection and isolat...
Raffaella Mattone, Alessandro De Luca
206
Voted
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
16 years 2 months ago
Automatic Result Verification for the Functional Testing of a Query Language
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
Carsten Binnig, Donald Kossmann, Eric Lo, Angel Sa...
ICASSP
2011
IEEE
14 years 4 months ago
Generating compound words with high order n-gram information in large vocabulary speech recognition systems
In this work we concentrate on generating compound words with high order n-gram information for speech recognition. In most existing compound words generation methods, only bi-gra...
Jie Zhou, Qin Shi, Yong Qin
ANSOFT
2002
94views more  ANSOFT 2002»
15 years 18 days ago
Testing Processes of Web Applications
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
Filippo Ricca, Paolo Tonella
SAS
2000
Springer
15 years 4 months ago
A Transformational Approach for Generating Non-linear Invariants
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
Saddek Bensalem, Marius Bozga, Jean-Claude Fernand...