Sciweavers

3031 search results - page 36 / 607
» Model Driven Testing Based on Test History
Sort
View
JIPS
2010
107views more  JIPS 2010»
13 years 3 months ago
Incremental Model-based Test Suite Reduction with Formal Concept Analysis
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
Pin Ng, Richard Y. K. Fung, Ray W. M. Kong
DSD
2004
IEEE
97views Hardware» more  DSD 2004»
14 years 7 days ago
Scene Management Models and Overlap Tests for Tile-Based Rendering
Tile-based rendering (also called chunk rendering or bucket rendering) is a promising technique for low-power, 3D graphics platforms. This technique decomposes a scene into smalle...
Iosif Antochi, Ben H. H. Juurlink, Stamatis Vassil...
CIVR
2004
Springer
194views Image Analysis» more  CIVR 2004»
14 years 1 months ago
A Test-Bed for Region-Based Image Retrieval Using Multiple Segmentation Algorithms and the MPEG-7 eXperimentation Model: The Sch
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
Vasileios Mezaris, Haralambos Doulaverakis, Raul M...
HASE
2007
IEEE
14 years 2 months ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach
COMPSAC
2005
IEEE
14 years 2 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur