470 search results - page 20 / 94 » Test Case Generation Based on State and Activity Models |
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
112
click to vote
AH
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
107
Voted
ESEM
2007
ACM
15 years 2 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
123
Voted
BMCBI
2010
15 years 16 days ago
2010
Background: DNA microarrays provide an efficient method for measuring activity of genes in parallel and even covering all the known transcripts of an organism on a single array. T...
110
click to vote
PTS
2010
14 years 10 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...