6800 search results - page 98 / 1360 » Testing with Functions as Specifications |
ESEM
2007
ACM
13 years 12 months ago
2007
ACM
This paper presents a controlled experiment comparing the defect detection efficiency of exploratory testing (ET) and test case based testing (TCT). While traditional testing lite...
EMO
2001
Springer
14 years 14 days ago
2001
Springer
When we try to implement a multi-objective genetic algorithm (MOGA) with variable weights for finding a set of Pareto optimal solutions, one difficulty lies in determining appropri...
VTS
2007
IEEE
14 years 2 months ago
2007
IEEE
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...
ENTCS
2002
13 years 7 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
SE
2008
13 years 9 months ago
2008
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...