Sciweavers

3031 search results - page 36 / 607
» Model Driven Testing Based on Test History
Sort
View
JIPS
2010
107views more  JIPS 2010»
15 years 1 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»
15 years 10 months 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»
15 years 12 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...
102
Voted
HASE
2007
IEEE
16 years 23 days ago
Model-Checker-Based Testing of LTL Specifications
Luis García, Steve Roach
COMPSAC
2005
IEEE
16 years 2 days 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