Sciweavers

4079 search results - page 251 / 816
» Differential Testing for Software
Sort
View
KBSE
2008
IEEE
14 years 4 months ago
Query-Aware Test Generation Using a Relational Constraint Solver
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Lal...
FASE
2007
Springer
14 years 3 months ago
Testing Scenario-Based Models
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
Hillel Kugler, Michael J. Stern, E. Jane Albert Hu...
EUROMICRO
2005
IEEE
14 years 3 months ago
The Audition Framework for Testing Web Services Interoperability
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...
Antonia Bertolino, Andrea Polini
FATES
2003
Springer
14 years 2 months ago
Black-Box Testing of Grey-Box Behavior
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
Benjamin Tyler, Neelam Soundarajan
DATE
2000
IEEE
110views Hardware» more  DATE 2000»
14 years 2 months ago
A BIST Scheme for On-Chip ADC and DAC Testing
In this paper, we present a BIST scheme for testing onchip AD and DA converters. We discuss on-chip generation of linear ramps as test stimuli, and propose techniques for measurin...
Jiun-Lang Huang, Chee-Kian Ong, Kwang-Ting Cheng