Sciweavers

4079 search results - page 268 / 816
» Differential Testing for Software
Sort
View
GI
2007
Springer
15 years 10 months ago
Test Automation Meets Static Analysis
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
Jan Peleska, Helge Löding, Tatiana Kotas
ATS
2003
IEEE
112views Hardware» more  ATS 2003»
15 years 9 months ago
Domain Testing Based on Character String Predicate
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
Ruilian Zhao, Michael R. Lyu, Yinghua Min
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
15 years 8 months ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
VTS
1997
IEEE
86views Hardware» more  VTS 1997»
15 years 8 months ago
Methods to reduce test application time for accumulator-based self-test
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...
Albrecht P. Stroele, Frank Mayer
CASCON
1997
132views Education» more  CASCON 1997»
15 years 5 months ago
Augmenting data flow criteria for class testing
A class is widely considered the basic unit of testing in object-oriented software. Although there has been much recent research on class testing, little attention has been paid t...
Pei Hsia, Xiaolin Li, David Chenho Kung