Sciweavers

3090 search results - page 142 / 618
» On Testing Answer-Set Programs
Sort
View
JIPS
2010
160views more  JIPS 2010»
14 years 9 months ago
A Regression Test Selection and Prioritization Technique
Regression testing is a very costly process performed primarily as a software maintenance activity. It is the process of retesting the modified parts of the software and ensuring t...
Ruchika Malhotra, Arvinder Kaur, Yogesh Singh
IUI
2012
ACM
13 years 10 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
VTS
1997
IEEE
133views Hardware» more  VTS 1997»
15 years 6 months ago
ATPG for scan chain latches and flip-flops
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...
Samy Makar, Edward J. McCluskey
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
ISSTA
2000
ACM
15 years 6 months ago
Simplifying failure-inducing input
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...
Ralf Hildebrandt, Andreas Zeller