2026 search results - page 253 / 406 » Tools for Test Case Generation |
133
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
109
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Intermittent failures and nondeterministic behavior complicate and compromise the effectiveness of software testing and debugging. To increase the observability of software faults,...
188
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
160
Voted
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
132
click to vote
FLAIRS
2004
15 years 6 months ago
2004
The Heavy Weight Deflectometer (HWD) test is one of the most widely used tests for assessing the structural integrity of airport pavements in a non-destructive manner. The elastic...