Sciweavers

1399 search results - page 32 / 280
» Verification of Test Suites
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 1 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
106
Voted
COMPSAC
2004
IEEE
15 years 5 months ago
Cooperative and Group Testing in Verification of Dynamic Composite Web Services
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning L...
171
Voted
IJIT
2004
15 years 3 months ago
Software Test Data Generation using Ant Colony Optimization
State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate t...
Huaizhong Li, Chiou Peng Lam
ICSE
1992
IEEE-ACM
15 years 6 months ago
Incremental Testing of Object-Oriented Class Structures
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
Mary Jean Harrold, John D. McGregor, Kevin J. Fitz...
94
Voted
ICPR
2008
IEEE
16 years 3 months ago
How much handwritten text is needed for text-independent writer verification and identification
The performance of off-line text-independent writer verification and identification increases when the documents contain more text. This relation was examined by repeatedly conduc...
Axel Brink, Lambert Schomaker, Marius Bulacu