Sciweavers

4095 search results - page 167 / 819
» How to test a tree
Sort
View
144
Voted
EVOW
2008
Springer
15 years 5 months ago
An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction
Traditional test generation methodologies for peripheral cores are performed by a skilled test engineer, leading to long generation times. In this paper a test generation methodolo...
Danilo Ravotto, Ernesto Sánchez, Massimilia...
124
Voted
AAAI
2010
15 years 4 months ago
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
154
Voted
ASE
2006
123views more  ASE 2006»
15 years 3 months ago
Separating sequence overlap for automated test sequence generation
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
Robert M. Hierons
132
Voted
SEKE
2010
Springer
15 years 1 months ago
Introducing Automated Environment Configuration Testing in an Industrial Setting
— This paper presents an automated environment configuration testing strategy developed as part of an action research project to deal with issues of staging environment instabili...
Caryna Pinheiro, Vahid Garousi, Frank Maurer, Jona...
164
Voted
AOSD
2011
ACM
14 years 10 months ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...