6941 search results - page 153 / 1389 » Testing as a Certification Approach |
107
Voted
VTS
2002
IEEE
15 years 7 months ago
2002
IEEE
The testing time for a system-on-chip (SOC) is determined to a large extent by the design of test wrappers and the test access mechanism (TAM). Wrapper/TAM co-optimization is ther...
135
Voted
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
139
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
113
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
116
Voted
GLVLSI
2006
IEEE
15 years 8 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...