2302 search results - page 39 / 461 » Testing as Abstraction |
160
Voted
CATA
2009
15 years 6 months ago
2009
ABSTRACT: We present a Built-In Self-Test (BIST) approach for programmable embedded memories in Xilinx Virtex-4 Field Programmable Gate Arrays (FPGAs). The target resources are the...
110
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
156
click to vote
DICTA
2003
15 years 6 months ago
2003
Abstract. Curve detection is viewed as a process of hypothesis generation and hypothesis testing. Of the two, hypothesis generation has received much attention and many sophisticat...
158
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
145
click to vote
CIG
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract- We present a method that enhances evolutionary behavior testing of commercial computer games, as introduced in [CD+04], to deal with parameterized actions. The basic idea...