Sciweavers

565 search results - page 49 / 113
» Compositional dynamic test generation
Sort
View
ICSE
2010
IEEE-ACM
15 years 8 months ago
From behaviour preservation to behaviour modification: constraint-based mutant generation
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
Friedrich Steimann, Andreas Thies
ICSM
2005
IEEE
15 years 8 months ago
Call Stack Coverage for Test Suite Reduction
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
Scott McMaster, Atif M. Memon
NECO
2002
104views more  NECO 2002»
15 years 2 months ago
An Unsupervised Ensemble Learning Method for Nonlinear Dynamic State-Space Models
A Bayesian ensemble learning method is introduced for unsupervised extraction of dynamic processes from noisy data. The data are assumed to be generated by an unknown nonlinear ma...
Harri Valpola, Juha Karhunen
TVLSI
2008
133views more  TVLSI 2008»
15 years 3 months ago
Test Data Compression Using Selective Encoding of Scan Slices
We present a selective encoding method that reduces test data volume and test application time for scan testing of Intellectual Property (IP) cores. This method encodes the slices ...
Zhanglei Wang, Krishnendu Chakrabarty
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