4079 search results - page 272 / 816 » Differential Testing for Software |
101
click to vote
FATES
2003
Springer
15 years 9 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...
126
click to vote
DATE
1998
IEEE
15 years 8 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...
127
Voted
AICCSA
2001
IEEE
15 years 8 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...
129
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
122
click to vote
ET
1998
15 years 3 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...