164 search results - page 14 / 33 » Combining Algebraic and Model-Based Test Case Generation |
CAI
2004
Springer
13 years 6 months ago
2004
Springer
A complete hardware implementation of an evolvable combinational unit for FPGAs is presented. The proposed combinational unit consisting of a virtual reconfigurable circuit and evo...
IDEAL
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...
KBSE
2003
IEEE
14 years 12 hour ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
ICFP
2005
ACM
14 years 6 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
ICDAR
2003
IEEE
14 years 1 days ago
2003
IEEE
The recognition of script in historical documents requires suitable techniques in order to identify single words. Segmentation of lines and words is a challenging task because lin...