2774 search results - page 88 / 555 » Query-Driven Program Testing |
VTS
1997
IEEE
14 years 2 months ago
1997
IEEE
A new approach for testing the bistable elements (latches and flip-flops) in scan chain circuits is presented. In this approach, we generate test patterns that apply a checking ex...
PTS
2000
13 years 11 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
MTV
2006
IEEE
14 years 4 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
GPCE
2003
Springer
14 years 3 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...