1598 search results - page 265 / 320 » Integrating Component Tests to System Tests |
140
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
145
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
162
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
171
click to vote
ICCV
2005
IEEE
16 years 7 months ago
2005
IEEE
Face images of non-frontal views under poor illumination with low resolution reduce dramatically face recognition accuracy. This is evident most compellingly by the very low recog...
135
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...