584 search results - page 24 / 117 » On Applying Set Covering Models to Test Set Compaction |
JLP
2006
13 years 7 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
ICCSA
2003
Springer
14 years 22 days ago
2003
Springer
A speaker model in speaker recognition system is to be trained from a large data set gathered in multiple sessions. Large data set requires large amount of memory and computation, ...
TAICPART
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
ATS
2003
IEEE
14 years 25 days ago
2003
IEEE
Software-based self-testing is a promising approach for the testing of processor cores which are embedded inside a System-on-a-Chip (SoC), as it can apply test vectors in function...
ISSTA
2004
ACM
14 years 29 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...