8398 search results - page 327 / 1680 » Optimal Software Testing |
127
click to vote
FATES
2003
Springer
15 years 12 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...
161
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
A new approach for sequential circuit test generation is proposed that combines software testing based techniques at the high level with test enhancement techniques at the gate le...
165
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
160
click to vote
ET
1998
15 years 6 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
166
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...