872 search results - page 30 / 175 » UML-based design test generation |
169
Voted
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
103
Voted
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
125
click to vote
CCECE
2011
IEEE
14 years 1 months ago
2011
IEEE
We present a readily portable, memory-efficient performance test system (PTS) for Tasers. The proposed PTS has been developped for the most widely used Conducted Energy Weapons (...
136
Voted
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
129
Voted
EURODAC
1995
IEEE
15 years 5 months ago
1995
IEEE
This paper describes the features and design methodology of MIDA, a MPEG1 integrated audio decoder. MIDA has been almost completely designed using automatic synthesis of VHDL desc...