386 search results - page 40 / 78 » Model Classifications and Automated Verification |
120
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
125
Voted
ISSRE
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
107
Voted
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
152
Voted
EC
2006
15 years 2 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
130
click to vote
WACV
2002
IEEE
15 years 7 months ago
2002
IEEE
Automatic detection of image orientation is a very important operation in photo image management. In this paper, we propose an automated method based on the boosting algorithm to ...