Sciweavers

532 search results - page 43 / 107
» Test Data Compression: The System Integrator's Perspective
Sort
View
CASES
2007
ACM
15 years 8 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
GEOINFO
2003
15 years 5 months ago
The Web as a Data Source for Spatial Databases
With the phenomenal growth of the WWW, rich data sources on many different subjects have become available online. Some of these sources store daily facts that often involve textual...
Karla A. V. Borges, Alberto H. F. Laender, Claudia...
SIGSOFT
2000
ACM
15 years 8 months ago
Accumulative versioning file system Moraine and its application to metrics environment MAME
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
Tetsuo Yamamoto, Makoto Matsushita, Katsuro Inoue
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
15 years 9 months ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner
JCO
2010
101views more  JCO 2010»
15 years 2 months ago
Separator-based data reduction for signed graph balancing
Abstract Polynomial-time data reduction is a classical approach to hard graph problems. Typically, particular small subgraphs are replaced by smaller gadgets. We generalize this ap...
Falk Hüffner, Nadja Betzler, Rolf Niedermeier