5855 search results - page 53 / 1171 » Test generation and minimization with |
91
Voted
INFORMATICALT
2007
15 years 1 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...
102
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
154
click to vote
TRUSTBUS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
DAC
2001
ACM
16 years 2 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Test generation procedures attempt to assign values to the inputs of a circuit so as to detect target faults. We study a complementary view whereby the goal is to identify values ...