5159 search results - page 327 / 1032 » Structural Testing of Executables |
174
click to vote
INEX
2007
Springer
16 years 1 months ago
2007
Springer
The INEX Multimedia track focuses on using the structure of XML documents to extract, relate, and combine the relevance of different multimedia fragments. This paper presents a br...
165
click to vote
ISSAC
1995
Springer
15 years 10 months ago
1995
Springer
We present an efficient algorithm for testing whether a given integral polynomial has two distinct roots a, B such that fflp is a root of unity. The test is based on results obtai...
191
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
192
click to vote
ICSE
2010
IEEE-ACM
16 years 2 days ago
2010
IEEE-ACM
Due to the expensiveness of compiling and executing a large number of mutants, it is usually necessary to select a subset of mutants to substitute the whole set of generated mutan...
167
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
We extend the subsequence removal technique to provide signi cantly higher static compaction for sequential circuits. We show that state relaxation techniques can be used to ident...