56 search results - page 4 / 12 » Character String Predicate Based Automatic Software Test Dat... |
COMPSAC
2005
IEEE
14 years 20 days ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
KBSE
2003
IEEE
14 years 10 days ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
KBSE
2005
IEEE
14 years 19 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
GECCO
2003
Springer
14 years 8 days ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...