Sciweavers

119 search results - page 4 / 24
» Automatic Testing of Higher Order Functions
Sort
View
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
16 years 29 days 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...
DATE
2000
IEEE
139views Hardware» more  DATE 2000»
15 years 4 months ago
A VHDL Error Simulator for Functional Test Generation
This paper describes an efficient error simulator able to analyze functional VHDL descriptions. The proposed simulation environment can be based on commercial VHDL simulators. Al...
Alessandro Fin, Franco Fummi
DAGSTUHL
2004
15 years 1 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
ICC
2007
IEEE
155views Communications» more  ICC 2007»
15 years 6 months ago
Automatic Digital Signal Types Recognition Using SI-NN and HOS
— Recognition of digital signal type is an important topic for various applications. In this paper a method is presented that identifies different types of digital signals. This ...
Ataollah Ebrahimzadeh, Mehrdad Ardebilipour, Alire...
AUTOMATICA
2007
93views more  AUTOMATICA 2007»
14 years 11 months ago
Development of omni-directional correlation functions for nonlinear model validation
In the present study a set of first order correlation functions are proposed to examine the quality of a wide class of identified nonlinear models. The first order correlation ...
Quan Min Zhu, Li Feng Zhang, Ashley Longden