Sciweavers

1253 search results - page 13 / 251
» Exploration Testing
Sort
View
FASE
2010
Springer
15 years 6 months ago
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
EDCC
2005
Springer
15 years 5 months ago
Fault Links: Exploring the Relationship Between Module and Fault Types
Fault links represent relationships between the types of mistakes made and the type of module being developed or modified. The existence of such fault links can be used to guide co...
Jane Huffman Hayes, Inies C. M. Raphael, Vinod Kum...
PPSN
2000
Springer
15 years 3 months ago
Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...
Carlos Cotta, José M. Troya
FLAIRS
2006
15 years 1 months ago
A Case-Based Approach to Explore Validation Experience
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...
Rainer Knauf, Setsuo Tsuruta
INTERSPEECH
2010
14 years 6 months ago
Exploring speaker characteristics for meeting summarization
In this paper, we investigate using meeting-specific characteristics to improve extractive meeting summarization, in particular, speaker-related attributes (such as verboseness, g...
Fei Liu, Yang Liu