Sciweavers

287 search results - page 12 / 58
» A novel improvement technique for high-level test synthesis
Sort
View
ICS
2005
Tsinghua U.
14 years 1 months ago
Improved automatic testcase synthesis for performance model validation
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
Robert H. Bell Jr., Lizy Kurian John
ENTCS
2002
152views more  ENTCS 2002»
13 years 7 months ago
Contract-based mutation testing in the refinement calculus
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
Bernhard K. Aichernig
VTS
2007
IEEE
143views Hardware» more  VTS 2007»
14 years 1 months ago
RTL Test Point Insertion to Reduce Delay Test Volume
In this paper, a novel test point insertion methodology is presented for RTL designs that aims to reduce the data volume of scan-based transition delay tests. Test points are iden...
Kedarnath J. Balakrishnan, Lei Fang
JSS
2010
207views more  JSS 2010»
13 years 6 months ago
Adaptive Random Testing: The ART of test case diversity
Random testing is not only a useful testing technique in itself, but also plays a core role in many other testing methods. Hence, any significant improvement to random testing ha...
Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, ...
SIGSOFT
2007
ACM
14 years 8 months ago
Improving test case generation for web applications using automated interface discovery
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
William G. J. Halfond, Alessandro Orso