Sciweavers

1682 search results - page 9 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
FLOPS
2010
Springer
16 years 19 days ago
Applying Constraint Logic Programming to SQL Test Case Generation
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
Rafael Caballero, Yolanda García-Ruiz, Fern...
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
16 years 10 days ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
ATS
2010
IEEE
261views Hardware» more  ATS 2010»
15 years 3 months ago
The Test Ability of an Adaptive Pulse Wave for ADC Testing
In the conventional ADC production test method, a high-quality analogue sine wave is applied to the Analogue-toDigital Converter (ADC), which is expensive to generate. Nowadays, an...
Xiaoqin Sheng, Hans G. Kerkhoff
153
Voted
GECCO
2004
Springer
197views Optimization» more  GECCO 2004»
15 years 11 months ago
Applying Evolutionary Testing to Search for Critical Defects
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
André Baresel, Harmen Sthamer, Joachim Wege...
ISSRE
2008
IEEE
16 years 6 days ago
Testing Software Product Lines Using Incremental Test Generation
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...