Sciweavers

1399 search results - page 22 / 280
» Verification of Test Suites
Sort
View
109
Voted
ISSRE
2008
IEEE
15 years 8 months ago
Static Detection of Redundant Test Cases: An Initial Study
As software systems evolve, the size of their test suites grow due to added functionality and customer-detected defects. Many of these tests may contain redundant elements with pr...
Nuo Li, Patrick Francis, Brian Robinson
CRV
2006
IEEE
99views Robotics» more  CRV 2006»
15 years 8 months ago
The McGill Object Detection Suite
Evaluation of object detection systems requires a set of test images with objects in heterogeneous scenes. Unfortunately, existing publicly available object databases provide few,...
Donovan H. Parks, Martin D. Levine
DFT
2009
IEEE
189views VLSI» more  DFT 2009»
15 years 8 months ago
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
Meng Zhang, Anita Lungu, Daniel J. Sorin
ATAL
2005
Springer
15 years 7 months ago
Comprehending agent software
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
Dung N. Lam, K. Suzanne Barber
124
Voted
PTS
2000
75views Hardware» more  PTS 2000»
15 years 3 months ago
Structural Coverage For LOTOS - a Probe Insertion Technique
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...
Daniel Amyot, Luigi Logrippo