Sciweavers

1682 search results - page 9 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
FLOPS
2010
Springer
15 years 9 months 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...
136
Voted
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 9 months 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
272
Voted
ATS
2010
IEEE
261views Hardware» more  ATS 2010»
15 years 20 days 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
116
Voted
GECCO
2004
Springer
197views Optimization» more  GECCO 2004»
15 years 8 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
15 years 9 months 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, ...