3547 search results - page 167 / 710 » Pseudo-Exhaustive Testing for Software |
178
Voted
ISSRE
2002
IEEE
16 years 49 min ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
158
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
As Graphical User Interfaces become more popular, the need for GUI testing tools becomes greater. However, many current test generation techniques require proprietary tools and ca...
182
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
174
Voted
SEFM
2003
IEEE
16 years 10 days ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
182
click to vote
DEBU
2008
15 years 7 months ago
2008
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automa...