Sciweavers

1399 search results - page 32 / 280
» Verification of Test Suites
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 6 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
COMPSAC
2004
IEEE
15 years 10 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...
IJIT
2004
15 years 8 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 10 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...
ICPR
2008
IEEE
16 years 7 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