758 search results - page 51 / 152 » Pattern-Constrained Test Case Generation |
109
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
148
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
126
click to vote
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
112
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
108
Voted
TAP
2008
Springer
15 years 2 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...