3544 search results - page 402 / 709 » Software Testing |
208
Voted
RSP
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
160
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
185
click to vote
NIPS
2004
15 years 8 months ago
2004
The NIPS 2003 workshops included a feature selection competition organized by the authors. We provided participants with five datasets from different application domains and calle...
185
click to vote
ASM
2005
ASM
16 years 9 days ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
157
click to vote
WETICE
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...