Sciweavers

3322 search results - page 56 / 665
» Automatic Human Model Generation
Sort
View
CAISE
2009
Springer
15 years 1 months ago
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
Lu Mao, Khalid Belhajjame, Norman W. Paton, Alvaro...
VISUALIZATION
1995
IEEE
15 years 1 months ago
Automatic Generation of Triangular Irregular Networks Using Greedy Cuts
We propose a new approach to the automatic generation of triangular irregular networks from dense terrain models. We have developed and implemented an algorithm based on the greed...
Cláudio T. Silva, Joseph S. B. Mitchell, Ar...
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 2 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
ICST
2008
IEEE
15 years 4 months ago
Quality of Automatically Generated Test Cases based on OCL Expressions
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
Stephan Weißleder, Bernd-Holger Schlingloff
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 1 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu