46 search results - page 7 / 10 » Current Directions in Automatic Test-Pattern Generation |
COLING
2010
13 years 1 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
If we hope to automatically detect and diagnose failures in large-scale computer systems, we must study real deployed systems and the data they generate. Progress has been hampere...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we present a practical experiment of building a service-oriented system upon current web services technologies and bioinformatics middleware. The system allows scie...
ISSTA
2006
ACM
14 years 20 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
ICIP
1999
IEEE
13 years 11 months ago
1999
IEEE
Due to magnetic field inhomogeneities, EPI images are geometrically distorted, predominantly along the phase-encoding direction. Currently, the distortion is either ignored or com...