5855 search results - page 140 / 1171 » Test generation and minimization with |
123
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
105
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
107
click to vote
ATS
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
122
click to vote
TCAD
2008
15 years 1 months ago
2008
At-speed functional testing, delay testing, and n-detection test sets are being used today to detect deep submicrometer defects. However, the resulting test data volumes are too hi...
129
Voted
SPIN
2010
Springer
14 years 12 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...