1488 search results - page 49 / 298 » Measuring Semantic Coverage |
86
Voted
INFORMATION
2011
14 years 6 months ago
2011
The purpose of this paper is to examine existing methods of semantic information quantiļ¬cation and suggest some alternatives. It begins with an outline of Bar-Hillel and Carnapā...
108
click to vote
DAC
2010
ACM
14 years 9 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for veriļ¬cation and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
VTC
2007
IEEE
15 years 5 months ago
2007
IEEE
ā The rapid increase in the use of IEEE 802.11 Wireless Local Area Networks (WLAN) for a diverse range of applications, has introduced an increased complexity into WLAN design, a...
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper compares three specification-based testing criteria using Mathur and Wong's PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full pred...
100
click to vote
EVOW
2008
Springer
15 years 28 days ago
2008
Springer
Traditional test generation methodologies for peripheral cores are performed by a skilled test engineer, leading to long generation times. In this paper a test generation methodolo...