Sciweavers

1728 search results - page 82 / 346
» Advanced empirical testing
Sort
View
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
14 years 3 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva
CEC
2009
IEEE
14 years 6 months ago
An evaluation of Differential Evolution in software test data generation
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...
Ricardo Landa Becerra, Ramón Sagarna, Xin Y...
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 5 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
JSW
2008
104views more  JSW 2008»
13 years 11 months ago
Testing Software Assets of Framework-Based Product Families During Application Engineering Stage
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
Jehad Al-Dallal, Paul G. Sorenson
CEJCS
2011
80views more  CEJCS 2011»
12 years 11 months ago
Evaluating distributed real-time and embedded system test correctness using system execution traces
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
James H. Hill, Pooja Varshneya, Douglas C. Schmidt