2419 search results - page 59 / 484 » A Formal Approach to Software Testing |
164
Voted
KBSE
2005
IEEE
16 years 29 days ago
2005
IEEE
Combinatorial approaches to testing are used in several fields, and have recently gained momentum in the field of software testing through software interaction testing. One-test...
179
Voted
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
177
Voted
GECCO
2005
Springer
16 years 27 days ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
198
Voted
FASE
2004
Springer
16 years 23 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
170
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...