Sciweavers

5855 search results - page 58 / 1171
» Test generation and minimization with
Sort
View
DATE
2002
IEEE
77views Hardware» more  DATE 2002»
15 years 6 months ago
An Optimal Algorithm for the Automatic Generation of March Tests
This paper presents an innovative algorithm for the automatic generation of March Tests. The proposed approach is able to generate an optimal March Test for an unconstrained set o...
Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale...
AOSD
2006
ACM
15 years 7 months ago
A framework and tool supports for generating test inputs of AspectJ programs
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
Tao Xie, Jianjun Zhao
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 6 months ago
FACTOR: A Hierarchical Methodology for Functional Test Generation and Testability Analysis
This paper develops an improved approach for hierarchical functional test generation for complex chips. In order to deal with the increasing complexity of functional test generati...
Vivekananda M. Vedula, Jacob A. Abraham
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
15 years 7 months ago
Functional test generation using property decompositions for validation of pipelined processors
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
Heon-Mo Koo, Prabhat Mishra
HYBRID
2007
Springer
15 years 7 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...