235 search results - page 15 / 47 » Test Generation Based on Symbolic Specifications |
120
click to vote
GCB
2004
Springer
15 years 3 months ago
2004
Springer
: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs. In this paper, we present a new nonheuristic algorithm, ...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
102
Voted
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
DAC
2009
ACM
16 years 20 days ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
ATS
2009
IEEE
15 years 4 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...